use matching branch tactic

This commit is contained in:
Brian Beyer
2018-05-13 00:25:22 +02:00
parent 90aa731265
commit a8effcfc3f
+1 -1
View File
@@ -30,7 +30,7 @@ jobs:
if git diff-index --quiet HEAD -- ; then
echo "Not committing documentation because there are no changes"
else
git status
git config --global push.default matching
git config credential.helper 'cache --timeout=120'
git config user.email "<email>"
git config user.name "CircleCI Atomic Red Team doc generator"