nightly-dev build

Author: valentijnscholten

.github/workflows/release-2-tag-docker-push.yml

@@ -33,7 +33,7 @@ jobs:
         # at this point, the PR from the 1st workflow is merged into master.
         run: |
           git tag -f -a ${{ github.event.inputs.release_number }} -m "[bot] release ${{ github.event.inputs.release_number }}"
-          git push origin ${{ github.event.inputs.release_number }}
+          git push origin ${{ github.event.inputs.release_number }} -f
 
   publish-docker-containers:
     needs: tag

.github/workflows/release-x-nightly-dev.yml

@@ -35,7 +35,7 @@ jobs:
       - name: Create new tag ${{ github.event.inputs.tag }}
         run: |
           git tag -f -a ${{ github.event.inputs.tag }} -m "[bot] release ${{ github.event.inputs.tag }}"
-          git push origin ${{ github.event.inputs.tag }}
+          git push origin ${{ github.event.inputs.tag }} -f
 
   publish-docker-containers:
     needs: tag