chore: add release branch

This commit is contained in:
gVisor bot 2023-03-28 16:40:45 +00:00
parent e817410fbb
commit 6da20ee552

View File

@ -268,6 +268,18 @@ jobs:
generate_release_notes: true generate_release_notes: true
body_path: release.txt body_path: release.txt
- name: Git push assets to "release" branch
run: |
cd bin || exit 1
git init
git config --local user.name "github-actions[bot]"
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git checkout -b release
git add .
git commit -m "${{ env.BUILDTIME }}"
git remote add origin "https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}"
git push -f -u origin release
Upload-Release: Upload-Release:
permissions: write-all permissions: write-all
if: ${{ github.ref_type=='tag' }} if: ${{ github.ref_type=='tag' }}