I can set up the forge bot user to do a regular sync using the same infra used for the PRs. Just give the go ahead.
From: Mark Wielaard <m...@klomp.org> Date: Wednesday, 20 August 2025 at 01:38 To: Andrew Pinski <andrew.pin...@oss.qualcomm.com> Cc: fo...@sourceware.org <fo...@sourceware.org>, gcc@gcc.gnu.org <gcc@gcc.gnu.org> Subject: Re: Messed up trunk branch on gcc-test on forge Hi, On Tue, Aug 19, 2025 at 04:42:33PM -0700, Andrew Pinski wrote: > Hi all, > I accidentally messed up the trunk branch on gcc-test repo on the forge. > I clicked merge+fastforward button on a pull request thinking it was just a > rebase for the pull request. > Since it is just the test repo, I am not too worried at this stage. > Is there a way to "revert" that pull request? Yes, you can git reset --hard HEAD^^ and then git push --force. (Which I just did.) We really should setup protected branches, so people cannot do that :) https://forge.sourceware.org/gcc/gcc-TEST/settings/branches (You probably need to be an "Owner" to create protected branches) Cheers, Mark
