To receive notifications about scheduled maintenance, please subscribe to the mailing-list You can subscribe to the mailing-list at

Commit 2f7e0985 authored by Christoph Goering's avatar Christoph Goering
Browse files

make sure developer is available in case of docker restart omitCI

parent 37f80707
Pipeline #96748 passed with stages
in 5 minutes and 16 seconds
git fetch origin/developer
git update-index -q --refresh
CHANGED=$(git diff-index --name-only origin/developer -- | grep CHANGELOG)
OMITCI=$(git log -n 1 --oneline | grep -zw omitCI)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment