chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d859eec) | patch
git-debpush: Check for a detached head when pushing HEAD
authorSean Whitton <spwhitton@spwhitton.name>
Mon, 22 Jul 2019 15:17:34 +0000 (16:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 22 Jul 2019 16:08:51 +0000 (17:08 +0100)
commit1db770da2b41b1ed02061f5145a2d8abc6e9c22c
treeb30bb6b8cd376454e8b90cad520ef7823f49fc9atree | snapshot
parentd859eec10fe463619069a01f4489b2a11af31fabcommit | 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>
git-debpush diff | blob | history
git-debpush.1.pod diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.