diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2021-08-24 15:43:59 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-08-24 14:16:57 -0700 |
| commit | bb01122a82002dc5948147800da40a149779a7b1 (patch) | |
| tree | ae978502164c4284d6f127090c0506038b4f4c64 /Documentation/lint-gitlink.perl | |
| parent | Git 2.33 (diff) | |
| download | tgif-bb01122a82002dc5948147800da40a149779a7b1.tar.xz | |
maintenance: create `launchctl` configuration using a lock file
When two `git maintenance` processes try to write the `.plist` file, we
need to help them with serializing their efforts.
The 150ms time-out value was determined from thin air.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/lint-gitlink.perl')
0 files changed, 0 insertions, 0 deletions