diff options
| author | Christoph Wurst <christoph@winzerhof-wurst.at> | 2022-10-21 15:02:20 +0200 |
|---|---|---|
| committer | Christoph Wurst <christoph@winzerhof-wurst.at> | 2022-10-21 15:02:20 +0200 |
| commit | d1f2ea1925678f8629dc0476139ca92c977f214c (patch) | |
| tree | e89c01fbe4a58ffb26d8c3d5cbbd4beecee1d7b3 /.github | |
| parent | 2b9a755dfef319c3919ee56944ff28bef8fb1991 (diff) | |
Revert "Add manually-triggered branch-off workflow"
This reverts commit 2b9a755dfef319c3919ee56944ff28bef8fb1991.
Diffstat (limited to '.github')
| -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 |