summaryrefslogtreecommitdiff
path: root/debian/changelog
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2019-07-22 16:17:34 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-22 17:08:51 +0100
commit1db770da2b41b1ed02061f5145a2d8abc6e9c22c (patch)
treeb30bb6b8cd376454e8b90cad520ef7823f49fc9a /debian/changelog
parentd859eec10fe463619069a01f4489b2a11af31fab (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/changelog')
0 files changed, 0 insertions, 0 deletions