diff --git a/.travis/export-github-repo.sh b/.travis/export-github-repo.sh index 32d54fcb5..60c316a6e 100755 --- a/.travis/export-github-repo.sh +++ b/.travis/export-github-repo.sh @@ -25,14 +25,10 @@ declare repo_name=$2 exit 1 } -.travis/affects.sh "$subdir" || exit 0 echo "Exporting $subdir" set -x rm -rf .github_export/"$repo_name" git clone https://"$GITHUB_TOKEN"@github.com/solana-labs/"$repo_name" .github_export/"$repo_name" - -# TODO: Try using `--refs $TRAVIS_COMMIT_RANGE` to speed up the filtering git filter-repo --subdirectory-filter "$subdir" --target .github_export/"$repo_name" - git -C .github_export/"$repo_name" push https://"$GITHUB_TOKEN"@github.com/solana-labs/"$repo_name"