https://bugzilla.redhat.com/show_bug.cgi?id=1515954
Nigel Babu <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Flags|needinfo?([email protected] | |) | --- Comment #3 from Nigel Babu <[email protected]> --- I would highly prefer not to remove them from Gerrit unless the primary source of truth for that code is Github. Removing it from git.gluster.org/cgit = removing it from Gerrit (at least in the current scenario). git.gluster.org is the web viewer for repos hosted with Gerrit. We can change names at Gerrit or Github. That's your call. Github will redirect clones and pushes from old repo to new one. Gerrit won't. But then, I don't expect many people to use Gerrit for those repos. In conclusion, 1. Do we want to delete these repos from Gerrit? 2. Is Github the source of truth? 3. Do want to rename the repos on Github or Gerrit to match the other? If so, which one? -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=zfLo9xc93p&a=cc_unsubscribe _______________________________________________ Gluster-infra mailing list [email protected] http://lists.gluster.org/mailman/listinfo/gluster-infra
