Currently you have to separately enter the github user, repo, and version number which is pretty annoying