[Bug 68054] Gerrit: Remove duplicate mirrors on GitHub

2014-08-25 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=68054 --- Comment #2 from Krinkle krinklem...@gmail.com --- (In reply to christian from comment #1) If it was a conscious choice to do this I'm curious why. We want all gerrit repos replicated on github. We could setup replication for each

[Bug 68054] Gerrit: Remove duplicate mirrors on GitHub

2014-07-16 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=68054 --- Comment #1 from christ...@quelltextlich.at --- If it was a conscious choice to do this I'm curious why. We want all gerrit repos replicated on github. We could setup replication for each repository in our gerrit separately. That would