Skip to content

Commit 02340c2

Browse files
author
Owen Jones
committed
Don't use cbmc-developers as a code owner
The GitHub documentation says that in CODEOWNERS you should only specify people with write access. @diffblue/cbmc-developers does not have write access. So hopefully this PR will not change things.
1 parent a18b32d commit 02340c2

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

CODEOWNERS

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -48,12 +48,12 @@ src/cpp/ @kroening @tautschnig @peterschrammel
4848

4949
# These files change frequently and changes are low-risk
5050

51-
src/util/irep_ids.def @diffblue/cbmc-developers
51+
src/util/irep_ids.def
5252

53-
unit/ @diffblue/cbmc-developers
54-
regression/ @diffblue/cbmc-developers
55-
jbmc/unit/ @diffblue/cbmc-developers
56-
jbmc/regression/ @diffblue/cbmc-developers
53+
unit/
54+
regression/
55+
jbmc/unit/
56+
jbmc/regression/
5757

5858
scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
5959
.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel

0 commit comments

Comments
 (0)