Ihor Radchenko <[email protected]> writes: > Ihor Radchenko <[email protected]> writes: > >>> git push --force-with-lease origin 5276db75b:bugfix >> >> Force-pushing is not allowed on savannah. >> I have requested permission to enable it temporarily: >> https://lists.gnu.org/archive/html/savannah-hackers-public/2026-10/msg00017.html > > All should be clear now.
Thank you so much for fixing this! I feel pretty stupid. I realize now I didn't fully understand the commands I was using to push. I like to play around a lot in detached HEAD states in git. For some reason I had it in my mind that I was only pushing the commit explicitly listed in my push command. However, I'm actually pushing the entire history of that commit as well. I should've done a dry run or something at least since I was doing something different from what I usually do. I'm really sorry about this blunder. Unrelated: why does this thread not show up on the bug tracker? That concerns me a little.
