completely move initial github mirror from uffizi to banco
Among other things, this will help liberating disk space on uffizi, where we're currently archiving the packfiles corresponding to every git-based loading we do.
The transfer had already been started by @ardumont a while ago, but is not complete yet.
Migrated from T511 (view on Phabricator)
Edited by Stefano Zacchiroli