chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08b7893) | patch
dgit: Allow -p with various push modes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jul 2019 11:14:18 +0000 (12:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jul 2019 14:57:24 +0000 (15:57 +0100)
commit4fa125c3dc9f093864d5e327eb339c431a93a5f2
tree6a35ed7d980430ba8826d7cde6e282291cce2c78tree | snapshot
parent08b7893fc9ce813587108a7172f9143e87c07c9acommit | diff
dgit: Allow -p with various push modes

This checks the supplied package name against the changelog.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.