diff hgext/gpg.py @ 6181:d500aeb8092e

warning on push should mention heads, not branches This makes the concept easier to relate to similar messages given on pull, and allows for a distinction between heads and (named) branches.
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Thu, 28 Feb 2008 17:51:04 +0100
parents 1f733c2f0165
children 4faaa0535ea7
line wrap: on
line diff