##// END OF EJS Templates
Report on push/pull if heads are merged, too, like for new heads....
Report on push/pull if heads are merged, too, like for new heads. Use case: If a remote repo has two heads and I _want_ to merge them, I merge and push. Meanwhile someone else pushed on top of one of the heads. He won't get a warning, because he doesn't create a new head, I won't notice that I don't close a head, because I don't get a message telling me.
Thomas Arendsen Hein -
r2424:09203924 default
Show More
Name Size Modified Last Commit Author
/ mercurial
hgweb
__init__.py Loading ...
appendfile.py Loading ...
archival.py Loading ...
bdiff.c Loading ...
bundlerepo.py Loading ...
byterange.py Loading ...
changegroup.py Loading ...
changelog.py Loading ...
commands.py Loading ...
demandload.py Loading ...
dirstate.py Loading ...
fancyopts.py Loading ...
filelog.py Loading ...
hg.py Loading ...
httprangereader.py Loading ...
httprepo.py Loading ...
i18n.py Loading ...
localrepo.py Loading ...
lock.py Loading ...
lsprof.py Loading ...
manifest.py Loading ...
mdiff.py Loading ...
mpatch.c Loading ...
node.py Loading ...
packagescan.py Loading ...
remoterepo.py Loading ...
repo.py Loading ...
revlog.py Loading ...
sshrepo.py Loading ...
sshserver.py Loading ...
statichttprepo.py Loading ...
templater.py Loading ...
transaction.py Loading ...
ui.py Loading ...
util.py Loading ...
util_win32.py Loading ...
version.py Loading ...