projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 031062d 8376eb4)
Merge branch 'ls/travis-scriptify' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 Oct 2017 05:17:53 +0000 (14:17 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 Oct 2017 05:17:53 +0000 (14:17 +0900)
commita37b73e9bb8b830a679abad23eff9b0949e07416
treecb216dd06309c09a1f3bce764fd11faab4ad44a8tree | snapshot
parent031062dcab034c8380ab4d718f45f64989baf1dccommit | diff
parent8376eb4a8f4f5e048d6be3b54f9e13577f53eafacommit | diff
Merge branch 'ls/travis-scriptify' into maint

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
Unnamed repository; edit this file 'description' to name the repository.