소스 검색

Update diff generator for pull requests

pull/403/head
Dave Machado 6 년 전
committed by GitHub
부모
커밋
fa02f5cbcf
1개의 변경된 파일8개의 추가작업 그리고 2개의 파일을 삭제
  1. +8
    -2
      build/main.sh

+ 8
- 2
build/main.sh 파일 보기

@@ -2,9 +2,15 @@
FORMAT_FILE=../README.md
if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
echo "running on Pull Request #$TRAVIS_PULL_REQUEST"
git show | egrep "\+" > additions.txt
echo "--ADDITIONS--"
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
echo "------- BEGIN DIFF -------"
cat diff.txt
echo "-------- END DIFF --------"
cat diff.txt | egrep "\+" > additions.txt
echo "------ BEGIN ADDITIONS -----"
cat additions.txt
echo "------- END ADDITIONS ------"
LINK_FILE=additions.txt
else
echo "running on $TRAVIS_BRANCH branch"


불러오는 중...
취소
저장