On Tue, Jun 07, 2016 at 10:25:07AM +0530, Pirate Praveen wrote: > Thanks for the offer. It would be great if I have more hands to help with > migrating git.debian.org Whoah there. Running an official Debian gitlab instance is one thing, migrating git.debian.org is quite another. Did I miss where there was consensus on this?