File tree 1 file changed +10
-10
lines changed 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change 41
41
42
42
/src /cbmc / @ smowton @ kroening @ tautschnig @ peterschrammel
43
43
/src /goto-programs / @ smowton @ kroening @ tautschnig @ peterschrammel @ pkesseli
44
- /src /util / @ smowton @ kroening @ tautschnig @ peterschrammel @ pkesseli
44
+ /src /util /* @ smowton @ kroening @ tautschnig @ peterschrammel @ pkesseli
45
45
/src /solvers /refinement @ martin-cs @ romainbrenguier @ peterschrammel
46
46
/jbmc /src /java_bytecode / @ smowton @ mgudemann @ thk123 @ cristina-david @ cesaro @ pkesseli @ NathanJPhillips @ peterschrammel
47
47
/src /analyses / @ martin-cs @ peterschrammel @ chrisr-diffblue @ thk123 @ smowton
59
59
/src /cpp / @ kroening @ tautschnig @ peterschrammel
60
60
61
61
62
- # These files change frequently and changes are low-risk
63
-
64
- /src /util /ids /irep_ids.def @ diffblue/cbmc-developers
65
-
66
- /unit / @ diffblue/cbmc-developers
67
- /regression / @ diffblue/cbmc-developers
68
- /jbmc /unit / @ diffblue/cbmc-developers
69
- /jbmc /regression / @ diffblue/cbmc-developers
70
-
71
62
/scripts / @ diffblue/devops @ thk123 @ forejtv @ peterschrammel
72
63
/.travis.yml @ diffblue/devops @ thk123 @ forejtv @ peterschrammel
73
64
/appveyor.yml @ diffblue/devops @ thk123 @ forejtv @ peterschrammel
65
+
66
+
67
+ # The files change frequently, are low-risk and have no owners
68
+ #
69
+ # /src/util/ids/
70
+ # /unit/
71
+ # /regression/
72
+ # /jbmc/unit/
73
+ # /jbmc/regression/
You can’t perform that action at this time.
0 commit comments