Links for git-dump-tool