Re: bug: `git pull --rebase` breaks in the presence of pushurls
From: Kartik Agaram <hidden>
Date: 2025-12-08 16:43:46
From: Kartik Agaram <hidden>
Date: 2025-12-08 16:43:46
[for the successful pushurl] "git push" updated origin/master to point to the same commit as master.
Thank you, this is very helpful to help me understand what happened.