Re: [PATCH v2 13/13] travis: fix skipping tagged releases

2018-10-16 Thread Johannes Schindelin
Hi Junio, On Tue, 16 Oct 2018, SZEDER Gábor wrote: > On Mon, Oct 15, 2018 at 03:12:17AM -0700, Johannes Schindelin via > GitGitGadget wrote: > > From: Johannes Schindelin > > > > When building a PR, TRAVIS_BRANCH refers to the *target branch*. > > Therefore, if a PR targets `master`, and `mast

Re: [PATCH v2 13/13] travis: fix skipping tagged releases

2018-10-16 Thread SZEDER Gábor
On Mon, Oct 15, 2018 at 03:12:17AM -0700, Johannes Schindelin via GitGitGadget wrote: > From: Johannes Schindelin > > When building a PR, TRAVIS_BRANCH refers to the *target branch*. > Therefore, if a PR targets `master`, and `master` happened to be tagged, > we skipped the build by mistake. >

[PATCH v2 13/13] travis: fix skipping tagged releases

2018-10-15 Thread Johannes Schindelin via GitGitGadget
From: Johannes Schindelin When building a PR, TRAVIS_BRANCH refers to the *target branch*. Therefore, if a PR targets `master`, and `master` happened to be tagged, we skipped the build by mistake. Fix this by using TRAVIS_PULL_REQUEST_BRANCH (i.e. the *source branch*) when available, falling bac