Update ci config to merge dev to published as a fast-forward if possible

BetterThanTomorrow · Feb 10, 2021 · 8f56c0a · 8f56c0a
1 parent 9116f36
commit 8f56c0a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -263,8 +263,7 @@ jobs:
             git config --global user.name $GITHUB_USER_NAME
             git checkout published
             git merge origin/dev
-            git log -2
-            # git push origin HEAD
+            git push origin HEAD
   deploy-docs:
     docker:
       - image: cimg/python:3.8-node