Can't push to my repo : "Unable to create '/path/to/repo/develop.lock': File exists."
During the interruption of service of Gitlab.com yesterday, one of our push failed. It was on this repo: https://gitlab.com/captive-studio/sport-sante
Since then, our team can't push, we get this error message :
remote: error: cannot lock ref 'refs/heads/develop': Unable to create '/var/opt/gitlab/git-data/repositories/captive-studio/sport-sante.git/refs/heads/develop.lock': File exists.
remote:
remote: If no other git process is currently running, this probably means a
remote: git process crashed in this repository earlier. Make sure no other git
remote: process is running and remove the file manually to continue.
To git@gitlab.com:captive-studio/sport-sante.git
! [remote rejected] develop -> develop (failed to update ref)
error: failed to push some refs to 'git@gitlab.com:captive-studio/sport-sante.git'
We are kind of new to Gitlab.com, after years of Gitlab CE.
How can we remove this .lock file ?