fix temporary filename for install_github
Merge branch '466-github-api' into 466-github-api-old
Merge branch '466-github-api-old' into 350-github-releases