diff hgweb.cgi @ 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 50a277e6ceae
children 338167735124
line wrap: on
line diff