Hi, > > To be concrete, the last commit on my branch is 9 days ago. And the > > last commit on Savannah wip-r is 30th Otc. > > Yeah, because mine got removed.
Yeah, sorry. I think Ricardo pushed. The history is: - I pushed on Tue Nov 10 16:31:17 to GitHub rewriting the history - Ricardo pushed that on Nov 19 13:33:49 to Savannah, rewriting the history too. Sorry for the mess. And the annoyance. > Well, they got removed from Savannah. Now I get this when I try to > push: > $ git push -f origin wip-r [...] > remote: error: denying non-fast-forward refs/heads/wip-r (you should > pull first) > To git.savannah.gnu.org:/srv/git/guix.git > ! [remote rejected] wip-r -> wip-r (non-fast-forward) > error: failed to push some refs to > 'git.savannah.gnu.org:/srv/git/guix.git' > > So, that's not going to work. > Perhaps @Ricardo knows more about the setup of the "wip-r" branch. I do not know. Weird. All the best, simon
