Labels
Prioritized labels 3
Drag to reorder prioritized labels and change their relative priority.
-
workflowReviewPETScMerge requests awaiting review. This indicates reviewers should check the commits and make comments or approve.
-
workflowReady-For-MergePETScMerge requests deemed ready for merge, they have passed the pipeline and been approved by reviewers. Satish receives mail for each of these and does the merge.
Other labels 79
-
AI reviewPETSc / petscEnable ai-review-optional CI job to post suggested edits directly on the MR web page in addition to preparing its report