URL: <https://savannah.nongnu.org/support/?111091>
Summary: Need to reset mediagoblin "master" branch to match "fixed-master" branch Group: Savannah Administration Submitter: None Submitted: Wed 17 Jul 2024 12:46:53 AM UTC Category: Source code repositories - developer access Priority: 5 - Normal Severity: 4 - Important Status: None Privacy: Public Assigned to: None Originator Email: b...@sturm.com.au Operating System: None Open/Closed: Open Discussion Lock: Any _______________________________________________________ Follow-up Comments: ------------------------------------------------------- Date: Wed 17 Jul 2024 12:46:53 AM UTC By: Anonymous Hi Savannah Admins, Could you please reset the: https://git.savannah.gnu.org/cgit/mediagoblin.git "master" branch (1c37907d) to the "fixed-master" branch (65fa2973)? We currently mirror our git repositories to Savannah and SourceHut, and due to issues confusion with a new maintainer's git config, their changes only went out to SourceHut only (not Savannah) and my push a few moments ago has now caused these repositories to diverge (when it should have failed and required a merge). Unfortunately the SourceHut link has just been sent out by email announcing the changes, so in this situation we really need to align Savannah with SourceHut, not the other way around. Sorry for the hassle. We'll get the new maintainer's config sorted out so this doesn't happen again. Regards, Ben _______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/support/?111091> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/
signature.asc
Description: PGP signature