diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-22 16:17:34 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-22 17:08:51 +0100 |
| commit | 1db770da2b41b1ed02061f5145a2d8abc6e9c22c (patch) | |
| tree | b30bb6b8cd376454e8b90cad520ef7823f49fc9a /debian | |
| parent | d859eec10fe463619069a01f4489b2a11af31fab (diff) | |
git-debpush: Check for a detached head when pushing HEAD
See discussion in #932612.
Suggested-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions