Update name of "PedroRobot"#7017

MatteoPologruto merged 1 commit intoarduino:productionarduino/library-registry:productionfrom

per1234:rename-PedroRobotper1234/library-registry:rename-PedroRobotCopy head branch name to clipboard