git commit —amend —no-edit should be sufficient to change the commit hash and require a push which can be used to trigger a new build.
-a > On May 24, 2026, at 07:16, Bjarne D Mathiesen via macports-dev > <[email protected]> wrote: > >> Den 23.05.2026 kl. 21.37 skrev Joshua Root: >> You can rebase and force push as much as you need to, >> but any committer should be able to re-run CI builds if needed. > > git rebase master ; git push --force > only works, iff master has been updated since the last rebase. > > In other words : if macports-ports hasn't had any commits since last > trying this, you'll have to wait for something to be committed to > macports-ports. > > I can't see any such button on any of the PRs I've submitted > > -- > Bjarne D Mathiesen > Korsør ; Danmark ; Europa > ----------------------------------------------------------------------- > denne besked er skrevet i et totalt M$-frit miljø > MacPro 2010 5.1 ; OpenCore + macOS 15.7.4 Sequoia > 2 x 3,46 GHz 6-Core Intel Xeon ; 192 GB 1333 MHz DDR3 ECC RDIMM > AMD Radeon Vega VII 16 GB >
