diff options
| author | Erich Eckner <git@eckner.net> | 2019-08-07 11:00:46 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-07 11:00:46 +0200 |
| commit | e18dcc7f2b6f75ff2caea1d9b6fa25e968b1718a (patch) | |
| tree | 71608745cb650e4228310d4b8894d1b3d5da8ccb /bin/clean-cache | |
| parent | 8b3300ebba5e6e74998633efca68a76763d609f1 (diff) | |
| download | builder-e18dcc7f2b6f75ff2caea1d9b6fa25e968b1718a.tar.xz | |
bin/nit-picker: re-fetch HEAD before complaining
Diffstat (limited to 'bin/clean-cache')
0 files changed, 0 insertions, 0 deletions