Если эти репозитории находятся на локальных машинах разработчиков, вы можете:
Предоставьте Бену доступ по ssh на машине Боба и сделайте Бен доступным для чтения репозитория Боба (он уже может быть по умолчанию). Затем Бен бежит:
git remote add bob bobsmachine.example.com:/path/to/bobs/repo/ursafile
git fetch bob
У Бена теперь будет другой пульт с именем bob, похожий на "origin", который он, вероятно, уже имеет. Бен может делать такие вещи, как: git pull bob branchname