diff options
author | Felipe Contreras <felipe.contreras@gmail.com> | 2020-11-25 18:16:14 -0600 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-11-30 13:57:54 -0800 |
commit | 12a30a3ea65f1d27698927c5a871935f6c1223f9 (patch) | |
tree | c9b74de951419c2b510a6b2c5935ce2113cd441c /gitk-git | |
parent | Seventh batch (diff) | |
download | tgif-12a30a3ea65f1d27698927c5a871935f6c1223f9.tar.xz |
tests: push: improve cleanup of HEAD tests
So that we are not left in an inconsistent state between them.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git')
0 files changed, 0 insertions, 0 deletions