diff options
author | Alejandro Rodríguez <alejorro70@gmail.com> | 2018-08-16 18:01:54 +0300 |
---|---|---|
committer | Alejandro Rodríguez <alejorro70@gmail.com> | 2018-08-16 18:01:54 +0300 |
commit | 7b334395c9cd6a6257a5d93c00e365d326531bc0 (patch) | |
tree | 484f7d1593fcf07475fa77360df46ca235ae0969 /CONTRIBUTING.md | |
parent | c95257b6f82930ad4e6cbfd4fa8da332d2ac67d5 (diff) | |
parent | 94f69de913a2b64f30c923989bf904365c15c40b (diff) |
Merge branch 'zj-head-lokc' into 'master'
Remove stale HEAD.lock if it exists
Closes gitlab-ce#50042
See merge request gitlab-org/gitaly!861
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions