Git изолировать branch в другой репозиторий?

# добавить новый пустой репозиторий в список remote
$ git remote add archive $ARCHIVE_REPO_URL

$ git push archive archive_branch
$ git branch -d archive_branch # удалить ветку локально (необязательно)
$ git push origin :archive_branch # удалить ветку в основном репозитории

Ну обычно в том месте, где есть архивные репозитории, они все-таки управляются централизованно, так что я подразумевал под нулевым пунктом «попросить админа добавить запись в gitosis/gitolite» или что-то в этом духе. Хотя да, все может быть.