gitserver: set gc.pid file during sg maintenance
Created by: stefanhengl
With this change we place a gc.pid file in the repo dir while sg maintenance is running. The gc.pid file acts as a lock and is respected by git-gc. Internally, git-gc uses the same mechanism.
Test plan
- New unit tests
- I verified manually that placing a gc.pid file in a repository is respected by git-gc