package crs
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=dad0c46a83ef40da150d8b840b01c66af3b979dfa7c3e17c3edef38aa84b804f
sha512=d7a8b2a34f4a3ddda0eaaa3e4248ec2870f944a5d64782bd73b031637b01e94a378d7534b1c02da739f32343b342ed8e8bf491e6442a3bd7b0e748bd61c58770
doc/crs.crs-cli/Crs_cli/Private/Config/index.html
Module Private.Config
Source
A type to hold declarative values to configure crs commands for a given repository.
The expectations is that certain commands allow for a file to be given as argument to a --config FILE
flag, which must contain a serialization of a value of type t
.
This particular config is expected to contain repository specific configuration.
We are using JSON5 as serialization format.
Getters
default_repo_owner
When not in a PR, the default_repo_owner may be used to assigned certain kinds of otherwise not easy to assign to a particular user. For example, invalid CRs when creating CRs annotation for a particular commit outside of a pull request.
If the repository is owned by an individual, this would typically be that user. If the repository is owned by an organization, this may be set to a user in particular who would be assigned otherwise unassignable CRs. If it isn't set, such CRs will simply not be assigned to any one in particular.
user_mentions_allowlist
enables a specific list of users to be notified in annotations comments, when notifications is requested. This is a protection measure to avoid spamming users that do not have ties to a repo in particular, or simply do not wish to be notified via CRs.
Create configs
val create :
?default_repo_owner:Volgo_base.Vcs.User_handle.t ->
?user_mentions_allowlist:Volgo_base.Vcs.User_handle.t Base.list ->
?invalid_crs_annotation_severity:Annotation_severity.t ->
?crs_due_now_annotation_severity:Annotation_severity.t ->
Base.unit ->
t
The loading of the config allows for some compatibility transitions during which deprecated names and or constructs are allowed. However, when they are detected, warnings are emitted. For convenience and help users discover warnings during CI runs, the loading can optionally include CI warnings on stderr for GitHub, using workflow annotations. To activate, supply emit_github_annotations:true
.