Code

Change code owners#2587

Code

Closed

owen-mc-diffblue wants to merge 5 commits intodiffblue:developdiffblue/cbmc:developfrom

owen-mc-diffblue:owen-jones-diffblue/update-codeowners-2owen-mc-diffblue/cbmc:owen-jones-diffblue/update-codeowners-2Copy head branch name to clipboard

Commits

Commits on Jul 19, 2018

• Remove default code owners

  

  Owen Jones

  committed
  53c90db

  Copy full SHA for 53c90db

• Don't use cbmc-developers as a code owner

  Show description for 2a84885
  

  Owen Jones

  committed
  2a84885

  Copy full SHA for 2a84885

• Make directories match from root

  

  Owen Jones

  committed
  69e5d9e

  Copy full SHA for 69e5d9e

• Remove code owners for low risk files

  

  peterschrammel

  authored and

  Owen Jones

  committed
  efe6187

  Copy full SHA for efe6187

• Reduce number of codeowners for frequently changed files to 2

  

  peterschrammel

  authored and

  Owen Jones

  committed
  52d71d2

  Copy full SHA for 52d71d2