On Wed Oct 1 02:42:27 2025 +0000, Rémi Bernon wrote:
Thanks! Fwiw you didn't need to close and open another merge request. Using `git push <remote> <branch> -f` with the branch name you used is enough to update an existing merge request with some new commits.
Got it, thanks! I wasn’t aware that force-pushing updates the existing MR. I’ll do that going forward.