Comment
When pushing to the Gloire repo, the following error appears after having to abort a previous push request for connectivity issues:
remote: Checking connectivity: 5, done.
remote: error: cannot lock ref 'refs/heads/main': Unable to create '/mnt/ceph-cluster/git/gitea-repositories/ironclad/gloire.git/./refs/heads/main.lock': File exists.
remote:
remote: Another git process seems to be running in this repository, e.g.
remote: an editor opened by 'git commit'. Please make sure all processes
remote: are terminated then try again. If it still fails, a git process
remote: may have crashed in this repository earlier:
remote: remove the file manually to continue.
To https://codeberg.org/Ironclad/Gloire
Could this file be removed? thanks in advance.
### Comment
When pushing to [the Gloire repo](https://codeberg.org/Ironclad/Gloire), the following error appears after having to abort a previous push request for connectivity issues:
```
remote: Checking connectivity: 5, done.
remote: error: cannot lock ref 'refs/heads/main': Unable to create '/mnt/ceph-cluster/git/gitea-repositories/ironclad/gloire.git/./refs/heads/main.lock': File exists.
remote:
remote: Another git process seems to be running in this repository, e.g.
remote: an editor opened by 'git commit'. Please make sure all processes
remote: are terminated then try again. If it still fails, a git process
remote: may have crashed in this repository earlier:
remote: remove the file manually to continue.
To https://codeberg.org/Ironclad/Gloire
```
Could this file be removed? thanks in advance.