diff options
| author | Boud Roukema <boud@cosmo.torun.pl> | 2020-05-23 17:31:48 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-28 23:04:00 +0100 |
| commit | 10def0f22b74898fe4aa3ca8e080c007127e4ed4 (patch) | |
| tree | ecfebb4c5710cb92c14861e3ad7ed8f9719854ed /reproduce/software/shell/git-pre-commit | |
| parent | 03c96cd2952ce6b6e04025f570214a814019317c (diff) | |
Cherry-pick 7bf5fcd to make merging easier
This series of commits aims to edit sections II+III, but first implements
the changes from 7bf5fcd, apart from one that conflicts in the abstract:
this commit has ``Maneage'' without `(managing+lineage)` in the abstract.
From Mohammad: this commit has been rebased after several other parallel
branches, so some things may differ from the message.
Diffstat (limited to 'reproduce/software/shell/git-pre-commit')
0 files changed, 0 insertions, 0 deletions