diff options
| author | Peter Hutterer <peter.hutterer@who-t.net> | 2019-12-05 09:21:05 +1000 |
|---|---|---|
| committer | Peter Hutterer <peter.hutterer@who-t.net> | 2019-12-05 10:40:40 +1000 |
| commit | 6c2125d1df25a679cca8afae43f7a0b23a4068f2 (patch) | |
| tree | 9e55de43281bd343fe0d7c878920afa98e80389f | |
| parent | 9d996a0420ad2373d8fde019fbd4d86f2e3873e3 (diff) | |
gitlab CI: add an explanatory comment why we're hardcoding master
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
| -rwxr-xr-x | .gitlab-ci/check-commit.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab-ci/check-commit.py b/.gitlab-ci/check-commit.py index be89bf49..964d4ae0 100755 --- a/.gitlab-ci/check-commit.py +++ b/.gitlab-ci/check-commit.py @@ -12,6 +12,11 @@ import pytest if os.environ.get('CI'): # Environment variables set by gitlab CI_COMMIT_SHA = os.environ['CI_COMMIT_SHA'] + # This is intentionally hardcoded to master. CI_MERGE_REQUEST_TARGET_BRANCH_NAME + # is only available when run with only: [merge_requests] + # but that generates a detached pipeline with only this job in it. + # Since merging into a non-master branch is not a thing in libinput + # anyway, we can hardcode this here. CI_MERGE_REQUEST_TARGET_BRANCH_NAME = 'master' CI_SERVER_HOST = os.environ['CI_SERVER_HOST'] UPSTREAM = 'upstream' |