diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2023-06-25 13:07:38 +0200 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2023-06-25 13:07:55 +0200 |
| commit | 25ae710ba3cd448c5d5678788d37f3d149378bc0 (patch) | |
| tree | 1398b46bbd30b8435623820b5ea4c958166341e8 /.github | |
| parent | cb37c35e33239b844203987fff18f91370939921 (diff) | |
also update README in gh-pages
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/update-manual.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/update-manual.yml b/.github/workflows/update-manual.yml index fdcfe75..ed608d9 100644 --- a/.github/workflows/update-manual.yml +++ b/.github/workflows/update-manual.yml @@ -32,6 +32,7 @@ jobs: rm -rf manual cp -R result/share/doc/darwin manual rm result + git checkout master -- README.md git config user.name github-actions git config user.email github-actions@github.com git add --all |