diff options
| author |  Michael Haggerty <mhagger@alum.mit.edu> | 2015-08-10 11:47:49 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-08-12 14:50:11 -0700 |
| commit | ebebeaea0a2b4861c00f31c42880599ec701adb9 (patch) | |
| tree | 33e39310fba3c965854e393e2bb0cea0d3dd7776 /Documentation/git-http-push.txt | |
| parent | lock_repo_for_gc(): compute the path to "gc.pid" only once (diff) | |
| download | tgif-ebebeaea0a2b4861c00f31c42880599ec701adb9.tar.xz | |
gc: use tempfile module to handle gc.pid file
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-http-push.txt')
0 files changed, 0 insertions, 0 deletions