anchor.diff:      githubId = 1432730;
       name = "Benjamin Staffin";
     };
  +  benneti = {
  +    name = "Benedikt Tissot";
  +    email = "benedikt.tissot@googlemail.com";
  +    github = "benneti";
  +    githubId = 11725645;
  +  };
     bennofs = {
       email = "benno.fuenfstueck@gmail.com";
       github = "bennofs";
  
positive.code:     githubId = 9959940;
      name = "Andreas Fehn";
    };
    felixsinger = {
      email = "felixsinger@posteo.net";
      github = "felixsinger";
  
negative.code:     github = "penguwin";
      githubId = 13225611;
      name = "Nicolas Martin";
    };
    p3psi = {
      name = "Elliot Boo";
      email = "p3psi.boo@gmail.com";
      github = "p3psi-boo";
      githubId = 43925055;
    };
    periklis = {
      email = "theopompos@gmail.com";
  