message no. 104058
Posted by stef1a in #github at 2015-07-20T16:51:36Z
i just pushed a commit to a PR and triggered a travis build. the travis build is using a merge of my recently pushed commit with another branch. how can i make it just use the commit at the tip of the PR?