Add release workflow

Author: dentarg

.github/workflows/release.yml

@@ -0,0 +1,13 @@
+name: Update the v1 branch when a release is published
+on:
+  release:
+    types: [published]
+  workflow_dispatch:
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+      with:
+        fetch-depth: 0
+    - run: git push origin HEAD:v1