diff options
author | Christoph Wurst <christoph@winzerhof-wurst.at> | 2022-10-21 16:02:20 +0300 |
---|---|---|
committer | Christoph Wurst <christoph@winzerhof-wurst.at> | 2022-10-21 16:02:20 +0300 |
commit | d1f2ea1925678f8629dc0476139ca92c977f214c (patch) | |
tree | e89c01fbe4a58ffb26d8c3d5cbbd4beecee1d7b3 | |
parent | 2b9a755dfef319c3919ee56944ff28bef8fb1991 (diff) |
Revert "Add manually-triggered branch-off workflow"
This reverts commit 2b9a755dfef319c3919ee56944ff28bef8fb1991.
-rw-r--r-- | .github/workflows/branch_off.yml | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/.github/workflows/branch_off.yml b/.github/workflows/branch_off.yml deleted file mode 100644 index 9ac363b7..00000000 --- a/.github/workflows/branch_off.yml +++ /dev/null @@ -1,20 +0,0 @@ -on: workflow_dispatch - -permissions: - contents: write - -name: Branch off -jobs: - branch-off: - if: github.ref == 'refs/heads/main' - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v3 - - name: Install xmllint - run: sudo apt-get install -y libxml2-utils - - name: Branch off and push - run: | - branch=`xmllint --xpath "//version/text()" appinfo/info.xml | awk -F \. {'print "stable" $1 "." $2'}` - git checkout -b $branch - git push origin $branch |