Talk:Petto the Ox

, I believe the editor was trying to do a redirect to Tomasso Petto. Schazjmd  Talk  22:33, 16 June 2019 (UTC)
 * Don't know if that is a handy redirect though. Ox (nickname) already exists. --MrClog (talk) 22:35, 16 June 2019 (UTC)
 * I found a number of search hits on "Petto the Ox" (referring to Tomasso) so a redirect doesn't hurt. That and "the Ox" seem to be common nicknames for the person. When I search on "the Ox", that disambiguation page (Ox (nickname)) doesn't even come up. Schazjmd   Talk  22:39, 16 June 2019 (UTC)
 * Made it into a redirect. --MrClog (talk) 22:46, 16 June 2019 (UTC)