From da846ef6dbfe4658d5b378fdf011d948fe01af92 Mon Sep 17 00:00:00 2001
From: Benoit Daloze <eregontp@gmail.com>
Date: Sat, 18 Apr 2020 13:51:50 +0200
Subject: [PATCH] Add a workflow to automatically bump the v1 branch when
 publishing a release

---
 .github/workflows/release.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..a1e623d
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,10 @@
+name: Update the v1 branch when a release is published
+on:
+  release:
+    types: [published]
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - run: git push origin HEAD:v1