michaelg/dev: links for github-repos-json