diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 18:13:34 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 18:32:14 +0000 |
commit | 30285c0d7edaeb05605ff620f8d8d6d09d91f5c2 (patch) | |
tree | 1a1dbaa3ae13b9b9a6d70f2c2f44b0c33dd1ed91 /tests/drs-git-ext | |
parent | 82ba0c6c552997a376968218d5e558fe491dfc6b (diff) |
dgit-badcommit-fixup: Do not detach HEAD - this is not needed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'tests/drs-git-ext')
0 files changed, 0 insertions, 0 deletions