Interesting, I never noticed because I usually make a MR from the link I get when I do a git push (which I find super useful btw). It does sound like a myriad other smallish annoyances. Thanks for describing it!