diff options
Diffstat (limited to 'maintainers/scripts/travis-nox-review-pr.sh')
| -rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index baee1baa11f5..1c117c6add9d 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -32,9 +32,7 @@ elif [[ $1 == build ]]; then nix-build pkgs/top-level/release.nix -A tarball else echo "=== Checking PR" - # The current HEAD is the PR merged into origin/master, so we compare - # against origin/master - nox-review wip --against origin/master + nox-review pr ${TRAVIS_PULL_REQUEST} fi else echo "$0: Unknown option $1" >&2 |