Board automation — PR → issue status
Specifying the automation linking the PR lifecycle to ticket status in the GitHub Project, to keep progress tracking reliable without manual updates.
Process
Automatisation
GitHub Projects
DevOps
Framing the automation linking the PR lifecycle to ticket status in the GitHub Project: defining the transition rules (on open, on merge to develop, then to production) to keep progress tracking reliable without manual updates. This spec was later implemented as a GitHub Action.