Skip to content

Commit bb1307a

Browse files
committed
Add .github/ responsible members to codeowners.
Add the members of the diffblue open-source team, the internal team responsible for maintenance of CBMC to the codeowners file as responsible for the github tooling and CI pipeline.
1 parent 6ab28e1 commit bb1307a

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

CODEOWNERS

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,3 +64,6 @@ CMakeLists.txt @hannes-steffenhagen-diffblue
6464

6565
/scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
6666
/scripts/expected_doxygen_warnings.txt
67+
68+
# CI pipeline is the responsibility of the Open Source maintenance team at Diffblue.
69+
/.github/ @NlightNFotis @hannes-steffenhagen-diffblue

0 commit comments

Comments
 (0)