chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9d6f6b) | patch
-p option: Check against changelog
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 30 Oct 2016 22:04:27 +0000 (22:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 30 Oct 2016 22:46:35 +0000 (22:46 +0000)
commit4111b99a0edc2040ada8e9f2998f7c68ba397a97
tree7e37b27e25398d43472ace46142dc296bee2e5bbtree | snapshot
parentd9d6f6bd791bded81431beb335ff789ae3a74e16commit | diff
-p option: Check against changelog

If -p is specified during push, we check that it's right.

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