view templates/notfound.tmpl @ 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 fbe4bbd847e5
children
line wrap: on
line source

#header#
<title>Mercurial repositories index</title>
</head>
<body>

<h2>Mercurial Repositories</h2>

The specified repository "#repo|escape#" is unknown, sorry.

Please go back to the main repository list page.

#footer#