rm github-issues, it's too slow