view templates/map-rss @ 2424:092039246d73

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.
author Thomas Arendsen Hein <thomas@intevation.de>
date Sat, 10 Jun 2006 17:39:29 +0200
parents c64bef3d7043
children e281903c9d32
line wrap: on
line source

default = 'changelog'
header = header-rss.tmpl
changelog = changelog-rss.tmpl
changelogentry = changelogentry-rss.tmpl
filelog = filelog-rss.tmpl
filelogentry = filelogentry-rss.tmpl
tags = tags-rss.tmpl
tagentry = tagentry-rss.tmpl