remove old dist stuff

2019-08-27 22:07:48 +02:00
parent 72b735bf01
commit 162427ba0e
1 changed files with 2 additions and 1 deletions
@@ -52,7 +52,8 @@ steps:
  - git add -A
  - git commit --allow-empty -m "drone tagged as version ${DRONE_TAG}"
  - git tag ${DRONE_TAG}
-  - git push https://$GIT_USER:$GIT_PASSWORD@gitea.frontblock.me/fb-dist/${DRONE_REPO_NAME}.git master ${DRONE_TAG}
+  - git status
+  - git push https://$GIT_USER:$GIT_PASSWORD@gitea.frontblock.me/fb-dist/${DRONE_REPO_NAME}.git master ${DRONE_TAG} --force
  environment:
    GIT_USER:
      from_secret: git_user