URL: <https://savannah.nongnu.org/support/?111251>
Summary: GNU Guix force push
Group: Savannah Administration
Submitter: dannym
Submitted: Wed 04 Jun 2025 06:20:09 AM GMT
Category: Source code repositories - developer access
Priority: 5 - Normal
Severity: 4 - Important
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Operating System: GNU/Linux
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Wed 04 Jun 2025 06:20:09 AM GMT By: Danny Milosavljevic <dannym>
Hi,
GNU Guix has moved its git repository to codeberg and has set up mirroring
from codeberg to savannah.
But I've accidentially pushed to savannah directly yesterday.
Since the repos on savannah vs codeberg diverged the mirroring stopped as
well.
I've tried git reset HEAD~4 (for reference, those are commits by Danny
Milosavljevic) and then git push -f on savannah but it's not allowed.
Can you do it? Is it the best course of action?
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?111251>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
signature.asc
Description: PGP signature
