git: When updating from remote, use git pull --prune, to avoid possible errors from...
authorJoey Hess <joey@kitenet.net>
Tue, 14 Sep 2010 19:45:38 +0000 (15:45 -0400)
committerJoey Hess <joey@kitenet.net>
Tue, 14 Sep 2010 19:45:38 +0000 (15:45 -0400)
commitcd794613b6f5140365e51f79023c882e8ea71197
tree5a59301da5e14c8f4cdcd5f1d31a4558e87ae78d
parent8c8d2c2d2cd259f3e72fd0a4022d02e15e66104f
git: When updating from remote, use git pull --prune, to avoid possible errors from conflicting obsolete remote branches.
IkiWiki/Plugin/git.pm
debian/changelog
doc/bugs/git.pm_should_prune_remote_branches_when_fetching.mdwn