File tree Expand file tree Collapse file tree 1 file changed +15
-2
lines changed Expand file tree Collapse file tree 1 file changed +15
-2
lines changed Original file line number Diff line number Diff line change 1
- # These owners will be the default owners for everything in the repo.
2
- * @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
1
+ # These folders were previously covered by the default owners
2
+
3
+ /* @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
4
+ /jbmc /* @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
5
+ /jbmc /src / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
6
+ /jbmc /lib / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
7
+ /src /* @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
8
+ /src /clobber / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
9
+ /src /jsil / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
10
+ /src /solvers / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
11
+ /.githooks / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
12
+ /cmake / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
13
+ /doc / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
14
+ /pkg /arch / @ kroening @ tautschnig @ peterschrammel @ smowton @ chrisr-diffblue
15
+
3
16
4
17
# These files should rarely change
5
18
You can’t perform that action at this time.
0 commit comments