Links for github-issue-solver