From: Kartik Agaram <ak@akkartik.com>
Date: Mon, 08 Dec 2025 16:43:24 GMT
Subject: Re: bug: `git pull --rebase` breaks in the presence of pushurls
Message-ID: <b13b59e2-8119-4015-bfce-26a07cddfdbe@app.fastmail.com>
In-Reply-To: <04cc0cc0-155e-422e-b723-b1115c918087@gmail.com>

> [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.