Browse Source

wrong diff url

pull/403/head
Yoann Lecuyer 6 years ago
parent
commit
db202dba71
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      build/main.sh

+ 1
- 1
build/main.sh View File

@@ -3,7 +3,7 @@ FORMAT_FILE=../README.md
if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
echo "running on Pull Request #$TRAVIS_PULL_REQUEST"
DIFF_URL="https://patch-diff.githubusercontent.com/raw/toddmotto/public-apis/pull/$TRAVIS_PULL_REQUEST.diff"
curl https://patch-diff.githubusercontent.com/raw/toddmotto/public-apis/pull/398.diff > diff.txt
curl $DIFF_URL > diff.txt
echo "------- BEGIN DIFF -------"
cat diff.txt
echo "-------- END DIFF --------"


Loading…
Cancel
Save