[Repo Improvement] Associate GitHub actions to PR tags
OlgaCalderon opened this issue · comments
When a pull request is merged into main:
- If it has the
documentation
tag, the wiki should be updated. - If it has the
release
tag, a new release should be generated.
Adding both tags results in both actions being executed, and it would also be possible to merge without adding any of the two tags.
Thank you for collaborating with the project by giving us feedback!!