buchuki/gitifyhg — pull request #40 by jedbrown (2013-02-08 14:13:05+00:00)
Title: Bookmark named master not at tip

The first patch fixes issue #13. The second patch is optional, but I think it clarifies logic and has more reliable semantics.