Skip to content

chore: use dedicated docs token #13

chore: use dedicated docs token

chore: use dedicated docs token #13

Workflow file for this run

name: release
on:
push:
tags:
- 'v2.[0-9]+.[0-9]+'
- 'v2.[0-9]+.[0-9]+-beta.[0-9]+'
permissions:
contents: write
pull-requests: write
jobs:
checksum_file:
runs-on: ubuntu-24.04
steps:
- name: Repository Dispatch
uses: peter-evans/repository-dispatch@v4
with:
token: ${{ secrets.DOCS_TOKEN }}
repository: static-web-server/docs
event-type: event-docs-v2-install
client-payload: '{"ref": "${{ github.ref }}", "sha": "${{ github.sha }}"}'
# checksum_file:
# runs-on: ubuntu-22.04
# environment: release-updates-static-web-server
# steps:
# - name: Checkout
# uses: actions/checkout@v4
# with:
# ref: master
# - name: Prepare
# shell: bash
# run: |
# echo "SERVER_VERSION=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
# echo "version is: ${{ env.SERVER_VERSION }}"
# - name: Commit post release updates changes
# shell: bash
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# run: |
# git config --global user.name 'github-actions[bot]'
# git config --global user.email '41898282+github-actions[bot]@users.noreply.github.com'
# echo "$(date -u '+%d-%m-%Y')" >> file.txt
# git add file.txt
# git commit --verbose -m "docs: ${{ env.SERVER_VERSION }} [skip ci]"
# git checkout -b release-docs-${{ env.SERVER_VERSION }}
# git push --set-upstream origin --verbose release-docs-${{ env.SERVER_VERSION }}
# - name: Create merge request
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# run: |
# gh pr create \
# --title "Documentation updates for release ${{ env.SERVER_VERSION }}" \
# --body "This PR updates the corresponding documentation pages for the current release \`${{ env.SERVER_VERSION }}\`." \
# --base "master" \
# --head "release-docs-${{ env.SERVER_VERSION }}" \
# --reviewer "joseluisq" \
# --label "v2" --label "enhancement" --label "documentation" \
# --draft