diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-10-23 14:17:53 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-10-23 14:17:53 +0900 |
| commit | a37b73e9bb8b830a679abad23eff9b0949e07416 (patch) | |
| tree | cb216dd06309c09a1f3bce764fd11faab4ad44a8 /command-list.txt | |
| parent | 031062dcab034c8380ab4d718f45f64989baf1dc (diff) | |
| parent | 8376eb4a8f4f5e048d6be3b54f9e13577f53eafa (diff) | |
| download | git-a37b73e9bb8b830a679abad23eff9b0949e07416.tar.gz | |
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
Diffstat (limited to 'command-list.txt')
0 files changed, 0 insertions, 0 deletions