point commit link at github mirror (not trac)