Travis on github PR ran code from the wrong PR

A post was merged into an existing topic: Build checks out wrong Pull Request: #79 instead of #7?