tree f5fc9ac2f5395581f0a9f2875778c4f4cde2aa26
parent 3dee0d572873f387c953555613d1cb10293f2a0e
author Matthias Sohn <matthias.sohn@sap.com> 1673283489 +0100
committer Matthias Sohn <matthias.sohn@sap.com> 1673439322 +0100

git-gc-preserve: write process details to gc-preserve.pid

Write the following details to the gc-preserve.pid:
<pid> <username>@<hostname>
git gc writes similar information to gc.pid.

This simplifies finding out which process started git-gc-preserve.

Release-Notes: skip
Change-Id: I73ba486a0e0cb0ec0b9a16324a845686f6743a4c