[mr] Update checkout directive, change the remote repositories to have
rpi as the base git server