pygit2: fix short_rev