yac/verwatch — pull request #3 by pixelb (2013-06-25 09:19:29+00:00)
Title: reset distgit tree rather than trying to merge

git pull is equiv to fetch + merge.
Fetch is redundant as done already.
Merge is problematic with rebased repos.
So simply reset to the appropriate origin/$branch