1234567891011121314151617181920212223242526 |
- #!/bin/bash
- ls -l /
- echo "============== ENVIRONMENT ============="
- /usr/bin/env
- echo "============== END ENVIRONMENT ============="
- if [ -n "$REPO" -a -n "$BRANCH" ]; then
- git remote rm proposed || true
- git gc --auto
- git remote add proposed "$REPO"
- GIT_TRACE=1 GIT_CURL_VERBOSE=1 git fetch proposed
- git checkout origin/master
- git config --global user.email "you@example.com"
- git config --global user.name "Your Name"
- git merge --no-ff "proposed/$BRANCH" -m "Merge PR"
- echo "Running tests for branch $BRANCH of repo $REPO"
- echo "Last commits:"
- git --no-pager log -2
- fi
- export LANG="en_US.UTF-8"
- tox -v -e 'py38' -- /pagure/tests/
|