Apply Bjorn Roald's patch for generating header links in git.