Add back pushing deleting docs version

UBCSailbot / sailbot_workspace

UBC Sailbot's monorepo

Apache License 2.0

4 stars 1 forks source link

Closed patrick-5546 closed 3 months ago

patrick-5546 commented 3 months ago

Continuation of #354
Still need to push the deletion of docs versions because delete and deploy steps run on different events
Hopefully the added git fetch before pushing will resolve any push conflicts