Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Devtools should use Github API to find URLs of file downloads #466
This is useful because Github sometimes changes their download URLs for gists and repo zip files. As things stand now, we have the base URLs hard-coded, so we need to release a new version of devtools every time Github makes changes. If we use their API to find the download URL, we won't need to do this anymore.