-
Notifications
You must be signed in to change notification settings - Fork 2
38 lines (35 loc) · 1 KB
/
manpages.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
---
name: Generate Manual
on:
push:
branches:
- 'main'
paths:
- 'docs/src/manual.md'
workflow_dispatch:
jobs:
gen_man:
permissions:
pull-requests: write
contents: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- id: generate
run: |
sudo apt-get update
sudo apt-get install pandoc
./ci/gen-man
- name: push updated manual
run: |
git config --global user.name denv-docs-bot
git config --global user.email [email protected]
git switch -c auto-man-update
git add man
git commit -m "Auto Man Page Update from ${{ github.event.head_commit.message }}" || exit 0
git push -fu origin auto-man-update
gh pr create --base main --head auto-man-update --title "Auto Man Page Update" --body "triggered by ${{ github.sha }}"
env:
GH_TOKEN: ${{ github.token }}