Don't use cbmc-developers as a code owner#2589

Closed

johnnonweiler wants to merge 5 commits intodiffblue:developfrom

johnnonweiler:update-codeowners

Commits on Jul 20, 2018

Make directories match from root
John Nonweiler
committed
Remove default code owners (from root folders)
John Nonweiler
committed
Move irep_ids.def from src/util to src/util/ids
John Nonweiler
committed
Remove code owners from low-risk files
John Nonweiler
committed
Distribute former default codeowner entries
peterschrammel
committed