aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/user-overlays/06859-ejgallego-stm+top.sh
blob: ca0076b468d4c732469a06798cf4deb5eeb2ed9d (plain)
1
2
3
4
5
6
#!/bin/sh

if [ "$CI_PULL_REQUEST" = "6859" ] || [ "$CI_BRANCH" = "stm+top" ] || [ "$CI_BRANCH" = "pr-6859" ]; then
    pidetop_CI_BRANCH=stm+top
    pidetop_CI_GITURL=https://bitbucket.org/ejgallego/pidetop.git
fi