path: root/dev/ci/user-overlays/06169-Zimmi48-clean-up-deprecated-options.sh

if [ "$TRAVIS_PULL_REQUEST" = "6169" ] || [ "$TRAVIS_BRANCH" = "clean-up/deprecated-options" ]; then
    ltac2_CI_BRANCH=master
    ltac2_CI_GITURL=https://github.com/Zimmi48/ltac2
fi