From 6e5cae8c941229a64e955d832963c7a48881e766 Mon Sep 17 00:00:00 2001
From: Adam Edelstein <Adam.Edelstein@tastytrade.com>
Date: Fri, 28 Feb 2020 10:59:19 -0600
Subject: [PATCH] fix one more caret error

---
 tools/travis-github-pr-integration.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/travis-github-pr-integration.sh b/tools/travis-github-pr-integration.sh
index d7db08e..108f30c 100755
--- a/tools/travis-github-pr-integration.sh
+++ b/tools/travis-github-pr-integration.sh
@@ -6,7 +6,7 @@ if [[ "$TRAVIS_PULL_REQUEST" = "false" ]]; then
 fi
 
 GITHUB_PR_URL=https://api.github.com/repos/$TRAVIS_REPO_SLUG/pulls/$TRAVIS_PULL_REQUEST
-GITHUB_PR_BODY=$(curl -s $GITHUB_PR_URL ^/dev/null)
+GITHUB_PR_BODY=$(curl -s $GITHUB_PR_URL 2> /dev/null)
 
 if [[ $GITHUB_PR_BODY =~ \"ref\":\ *\"([a-zA-Z0-9_-]*)\" ]]; then
   export OMF_REPO_BRANCH=${BASH_REMATCH[1]}