| commit | f05a23ae3bd08efdf56d04b19d1d82ba5e5d6bb1 | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Mon, 25 Sep 2017 06:24:09 +0000 (25 15:24 +0900) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Mon, 25 Sep 2017 06:24:09 +0000 (25 15:24 +0900) | ||
| tree | 6169997486f83ad781bb0d02d5b25e15767c5521 | treesnapshot (tar.gz zip) |
| parent | abdf7d8e25f16913f1fcabc0a5e9f125126ffe80 | commitdiff |
| parent | 8376eb4a8f4f5e048d6be3b54f9e13577f53eafa | commitdiff |
Merge branch 'ls/travis-scriptify'
The scripts to drive TravisCI has been reorganized and then an
optimization to avoid spending cycles on a branch whose tip is
tagged has been implemented.
* ls/travis-scriptify:
travis-ci: fix "skip_branch_tip_with_tag()" string comparison
travis: dedent a few scripts that are indented overly deeply
travis-ci: skip a branch build if equal tag is present
travis-ci: move Travis CI code into dedicated scripts
The scripts to drive TravisCI has been reorganized and then an
optimization to avoid spending cycles on a branch whose tip is
tagged has been implemented.
* ls/travis-scriptify:
travis-ci: fix "skip_branch_tip_with_tag()" string comparison
travis: dedent a few scripts that are indented overly deeply
travis-ci: skip a branch build if equal tag is present
travis-ci: move Travis CI code into dedicated scripts