getFileFromGitHub() fetches the right GitHub RepositoryRelease.