Skip to content

Commit 76de216

Browse files
committed
Change ownership of scripts/ from non-existing team to the Diffblue Open Source team.
The team this was assigned under is no longer exists under the @diffblue namespace, so changing this to default to the Open Source team within Diffblue, responsible for CBMC maintenance.
1 parent c3250a8 commit 76de216

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

CODEOWNERS

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ CMakeLists.txt @diffblue/diffblue-opensource
7171
/jbmc/unit/
7272
/jbmc/regression/
7373

74-
/scripts/ @diffblue/devops
74+
/scripts/ @diffblue/diffblue-opensource
7575
/scripts/expected_doxygen_warnings.txt
7676

7777
# CI pipeline is the responsibility of the Open Source maintenance team at Diffblue.

0 commit comments

Comments
 (0)