diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2018-10-14 23:16:46 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-14 23:16:46 +0300 |
| commit | 252bf6c52e64a600d59218dfe3d4431487ad5cfd (patch) | |
| tree | 8ddce90c79c150235224da8d89e3641f3dd5a79f /skip_ci.py | |
| parent | 4efb361d475871064057fd698dcd1b7ef5146332 (diff) | |
| parent | efa55c9e1c19621290ddf226002feed9710185e8 (diff) | |
| download | meson-252bf6c52e64a600d59218dfe3d4431487ad5cfd.tar.gz | |
Merge pull request #4340 from jon-turney/azure-pipelines
Add Azure pipelines CI
Diffstat (limited to 'skip_ci.py')
| -rwxr-xr-x | skip_ci.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/skip_ci.py b/skip_ci.py index 752dfdc01..5e0a7aa72 100755 --- a/skip_ci.py +++ b/skip_ci.py @@ -54,9 +54,13 @@ def main(): help='Branch push is targeted to') parser.add_argument('--is-pull-env', required=True, help='Variable set if it is a PR') + parser.add_argument('--base-branch-origin', action='store_true', + help='Base branch reference is only in origin remote') args = parser.parse_args() check_pr(args.is_pull_env) base = get_base_branch(args.base_branch_env) + if args.base_branch_origin: + base = 'origin/' + base if all(is_documentation(f) for f in get_git_files(base)): print("Don't run CI for documentation-only changes, add '[skip ci]' to commit title.") print('See http://mesonbuild.com/Contributing.html#skipping-integration-tests') |
