You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
520 B
Bash
22 lines
520 B
Bash
#!/bin/sh
|
|
|
|
git () {
|
|
case $1 in
|
|
clone)
|
|
command git "$@"
|
|
if test "$TRAVIS_PULL_REQUEST" != "false"; then
|
|
echo "! detecting a pull request !"
|
|
echo "$ git -C $OMF_PATH fetch origin +refs/pull/$TRAVIS_PULL_REQUEST/merge:"
|
|
git -C $OMF_PATH fetch origin +refs/pull/$TRAVIS_PULL_REQUEST/merge:
|
|
echo "$ git -C $OMF_PATH checkout -qf FETCH_HEAD"
|
|
git -C $OMF_PATH checkout -qf FETCH_HEAD
|
|
fi
|
|
;;
|
|
*)
|
|
command git "$@"
|
|
;;
|
|
esac
|
|
}
|
|
|
|
. $TRAVIS_BUILD_DIR/bin/install
|