On Sat, Jul 25, 2026 at 4:29 AM Mikael Morin <[email protected]> wrote: > > Le 24/07/2026 à 22:00, H.J. Lu via Gcc a écrit : > > Hi, > > > > I have been trying to push for the last 15 minutes and getting: > > > > Enumerating objects: 18, done. > > Counting objects: 100% (18/18), done. > > Delta compression using up to 8 threads > > Compressing objects: 100% (10/10), done. > > Writing objects: 100% (10/10), 2.37 KiB | 485.00 KiB/s, done. > > Total 10 (delta 8), reused 0 (delta 0), pack-reused 0 (from 0) > > remote: > > --------------------------------------------------------------------- > > remote: -- Another user is currently pushing changes to this repository. > > -- > > remote: -- Please try again in another minute or two. > > -- > > remote: > > --------------------------------------------------------------------- > > remote: error: hook declined to update refs/heads/master > > > > Has anyone else seen this? > > > I'm afraid I'm (again) the cause of this. > I posted a message on IRC telling anyone could kill the push hook > process(es). I'm not sure it reached the right people (or someone at all).
FWIW, I am using gitlab/github for my personal branches to avoid things like this. -- H.J.
