Crs_cli.PrivateSourceA type to hold information about a CR that is assigned in the ci event (pull request or push to ongoing branch).
A type to hold declarative values to configure crs commands for a given repository.
GitHub Annotations are created when encountering special log lines produced by actions during workflow executions.
Review_mode.t describes the context in which CR assignment and annotation logic is executed. This is not strictly tied to the CI event that triggered the workflow, but rather to the review/assignment semantics: