remove docs

2019-09-22 15:17:51 +02:00
parent 58a1e54f16
commit 9496609df0
1 changed files with 1 additions and 1 deletions
@@ -71,7 +71,7 @@ steps:
  - echo "copy docs to ${DRONE_REPO_NAME}"; cp -r ../docs/* .
  - ls
  - echo "add files in ${DRONE_REPO_NAME}"; git add -A
-  - git commit -m "Drone tagged as ${DRONE_TAG}"
+  - git commit --allow-empty -m "Drone tagged as ${DRONE_TAG}"
  - git push --force origin master
  environment:
    GIT_USER: