PeterBowman
commented
11 months ago Done at:
- https://github.com/roboticslab-uc3m/developer-manual/commit/9d02831ffb6a3fb2c68181d1927876b02a314a08
- https://github.com/roboticslab-uc3m/developer-manual/commit/2bbb6814d4cea646769d2df4b05239b203c2f476
- https://github.com/roboticslab-uc3m/developer-manual/commit/0e70a01666cc1a9e8fe41d0662dcc73c89f6e2dd
- https://github.com/roboticslab-uc3m/developer-manual/commit/2037934f537ac918e40c01415b7e46cd620e9aec
A new contributors.yml workflow runs the update script (either on demand or following an edit in dev-aliases.yml), tests whether docs/contributors.md was changed and, if true, commits and pushes the changes, then calls the gh-pages.yml workflow to regenerate the static site on GH Pages.
Refs:
- https://docs.github.com/en/actions/using-workflows/reusing-workflows#calling-a-reusable-workflow
- https://github.com/github/vscode-github-actions/issues/254 (linter error in web editor and VS code)
I created a new personal access token (PAT) with the permissions detailed here: https://github.com/roboticslab-uc3m/developer-manual/issues/47#issuecomment-1680529359. Keep in mind it lasts only one year due to limits on the maximum expiry time. I'd rather use GITHUB_TOKEN (with extended permissions if necessary), but this is not possible at the moment: https://github.com/orgs/community/discussions/46566. This token is accessed through the DEV_MANUAL action secret (org settings).
I'd like to add a workflow to launch our update-contributors.py script (introduced in https://github.com/roboticslab-uc3m/developer-manual/issues/47).
Dispatch options: