[sr #111251] GNU Guix force push

[Danny Milosavljevic]

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