From 60a67b852a43469df09035445131b54de5e5e933 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mislav=20Marohni=C4=87?= Date: Wed, 22 Apr 2020 15:59:44 +0200 Subject: [PATCH] Automatically generate site docs on release --- .github/workflows/releases.yml | 16 +++++++++++++--- Makefile | 10 ++++++++++ 2 files changed, 23 insertions(+), 3 deletions(-) diff --git a/.github/workflows/releases.yml b/.github/workflows/releases.yml index e9d183592..7fe2ca3af 100644 --- a/.github/workflows/releases.yml +++ b/.github/workflows/releases.yml @@ -33,13 +33,23 @@ jobs: formula-name: gh env: COMMITTER_TOKEN: ${{ secrets.UPLOAD_GITHUB_TOKEN }} - - name: move cards - if: "!contains(github.ref, '-')" + - name: Checkout documentation site + if: "!contains(github.ref, '-')" # skip prereleases + uses: actions/checkout@v2 + with: + repository: github/cli.github.com + path: site + fetch-depth: 0 + token: ${{secrets.SITE_GITHUB_TOKEN}} + - name: Publish documentation site + if: "!contains(github.ref, '-')" # skip prereleases + run: make site-publish + - name: Move project cards + if: "!contains(github.ref, '-')" # skip prereleases env: GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}} PENDING_COLUMN: 8189733 DONE_COLUMN: 7110130 - shell: bash run: | curl -fsSL https://github.com/github/hub/raw/master/script/get | bash -s 2.14.1 api() { bin/hub api -H 'accept: application/vnd.github.inertia-preview+json' "$@"; } diff --git a/Makefile b/Makefile index 5a93dac9b..ffbd5bd7e 100644 --- a/Makefile +++ b/Makefile @@ -34,3 +34,13 @@ site-docs: site git -C site add 'manual/gh*.md' git -C site commit -m 'update help docs' .PHONY: site-docs + +site-publish: site-docs +ifndef GITHUB_REF + $(error GITHUB_REF is not set) +endif + sed -i.bak -E 's/(assign version = )".+"/\1"$(GITHUB_REF:refs/tags/v%=%)"/' site/index.html + rm -f site/index.html.bak + git -C site commit -m '$(GITHUB_REF:refs/tags/v%=%)' index.html + git -C site push +.PHONY: site-publish