anchor.diff:    valebes = {
       email = "valebes@gmail.com";
       github = "valebes";
  -    githubid = 10956211;
  +    githubId = 10956211;
       name = "Valerio Besozzi";
     };
     valeriangalliat = {
  
positive.code:     name = "Michele Catalano";
    };
    isgy = {
      email = "isgy@teiyg.com";
      github = "isgy";
      githubId = 13622947;
  
negative.code:     name = "Guanpeng Xu";
    };
    hexa = {
      email = "hexa@darmstadt.ccc.de";
      github = "mweinelt";
      githubId = 131599;
      name = "Martin Weinelt";
  