#rename_repo so Picabot could handle repos with identical names