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.zip meson-252bf6c52e64a600d59218dfe3d4431487ad5cfd.tar.gz meson-252bf6c52e64a600d59218dfe3d4431487ad5cfd.tar.bz2 |
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
@@ -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') |