view templates/static/hgicon.png @ 2795:135823f37304

new extension: fetch -> combine pull and merge/update pull changes from remote repo. if changes add new head: merge with new head, commit result. else: update working dir to new head. this makes useful command like git 'pull' command.
author Vadim Gelfer <vadim.gelfer@gmail.com>
date Mon, 07 Aug 2006 17:27:38 -0700
parents 88f0345d82e9
children
line wrap: on
line source

(binary:image/png)