I need a tool that checks all the GitHub issue $URLs in my code comments to see if they have been closed now.