[mr] Update mr config to have rpi as the main git server