diff --git a/fdroidserver/nightly.py b/fdroidserver/nightly.py index 85ef58fc..79a2f404 100644 --- a/fdroidserver/nightly.py +++ b/fdroidserver/nightly.py @@ -235,6 +235,16 @@ def main(): + '\nhttps://developer.github.com/v3/guides/managing-deploy-keys/#deploy-keys') git_user_name = os.getenv('CIRCLE_USERNAME') git_user_email = git_user_name + '@' + platform.node() + elif 'GITHUB_ACTIONS' in os.environ: + # we are in Github actions + repo_git_base = (os.getenv('GITHUB_REPOSITORY') + NIGHTLY) + clone_url = (os.getenv('GITHUB_SERVER_URL') + '/' + repo_git_base) + repo_base = clone_url + '/raw/master/fdroid' + servergitmirror = 'git@' + urlparse(clone_url).netloc + ':' + repo_git_base + deploy_key_url = ('https://github.com/' + repo_git_base + '/settings/keys' + + '\nhttps://developer.github.com/v3/guides/managing-deploy-keys/#deploy-keys') + git_user_name = os.getenv('GITHUB_ACTOR') + git_user_email = git_user_name + '@' + platform.node() else: print(_('ERROR: unsupported CI type, patches welcome!')) sys.exit(1)