I'm currently trying to push to the repo for an hour, but only get
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
To git+ssh://gcc.gnu.org/git/gcc.git
! [remote rejected] master -> master (hook declined)
error: failed to push some refs to 'git+ssh://gcc.gnu.org/git/gcc.git'
Another commit a few minutes before worked just fine. Is there someone
doing an excessive commit or has some lock been left behind?
Thanks.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
