git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: abdf7d8 8376eb4)
Merge branch 'ls/travis-scriptify'
authorJunio C Hamano <redacted>
Mon, 25 Sep 2017 06:24:09 +0000 (15:24 +0900)
committerJunio C Hamano <redacted>
Mon, 25 Sep 2017 06:24:09 +0000 (15:24 +0900)
commitf05a23ae3bd08efdf56d04b19d1d82ba5e5d6bb1
tree6169997486f83ad781bb0d02d5b25e15767c5521tree | snapshot
parentabdf7d8e25f16913f1fcabc0a5e9f125126ffe80commit | diff
parent8376eb4a8f4f5e048d6be3b54f9e13577f53eafacommit | diff
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
git clone https://git.99rst.org/PROJECT