Add permalink to github revision in generated file.