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.

     1

#header#

     2

    <title>#repo|escape# Changelog</title>

     3

    <description>#repo|escape# Changelog</description>

     4

    #entries%changelogentry#

     5

  </channel>

     6

</rss>