michael/github — pull request #86 by Pomax (2013-10-31 18:09:34+00:00)
Title: added repo.update

I'm not 100% sure of whether repo.update needs a tree update as well, so feel free to recommend updates before this can land.