diff options
| author |  Lars Schneider <larsxschneider@gmail.com> | 2017-09-10 16:44:29 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-09-11 10:17:53 +0900 |
| commit | 09f5e9746ce8be640683f9f5f1ffb54a34d4dc90 (patch) | |
| tree | 0640ad3957472c8d6800dd653f7c2afe1620b934 /git-filter-branch.sh | |
| parent | travis-ci: move Travis CI code into dedicated scripts (diff) | |
| download | tgif-09f5e9746ce8be640683f9f5f1ffb54a34d4dc90.tar.xz | |
travis-ci: skip a branch build if equal tag is present
If we push a branch and a tag pointing to the HEAD of this branch,
then Travis CI would run the build twice. This wastes resources and
slows the testing.
Add a function to detect this situation and skip the build the branch
if appropriate. Invoke this function on every build.
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Lars Schneider <larsxschneider@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-filter-branch.sh')
0 files changed, 0 insertions, 0 deletions