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: [email protected]
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
