diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-09-25 15:24:09 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-09-25 15:24:09 +0900 |
commit | f05a23ae3bd08efdf56d04b19d1d82ba5e5d6bb1 (patch) | |
tree | 6169997486f83ad781bb0d02d5b25e15767c5521 /git-gui/lib/diff.tcl | |
parent | abdf7d8e25f16913f1fcabc0a5e9f125126ffe80 (diff) | |
parent | 8376eb4a8f4f5e048d6be3b54f9e13577f53eafa (diff) | |
download | git-f05a23ae3bd08efdf56d04b19d1d82ba5e5d6bb1.tar.gz git-f05a23ae3bd08efdf56d04b19d1d82ba5e5d6bb1.tar.xz |
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
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions