chiark / gitweb /
git-debpush: Check for a detached head when pushing HEAD
[dgit.git] / HACKING
2019-07-22 Ian JacksonHACKING: First cut