anchor.diff:      githubId = 9959940;
       name = "Andreas Fehn";
     };
  +  felixscheinost = {
  +    name = "Felix Scheinost";
  +    email = "felix.scheinost@posteo.de";
  +    github = "felixscheinost";
  +    githubId = 31761492;
  +  };
     felixsinger = {
       email = "felixsinger@posteo.net";
       github = "felixsinger";
  
positive.code:     githubId = 1432730;
      name = "Benjamin Staffin";
    };
    bennofs = {
      email = "benno.fuenfstueck@gmail.com";
      github = "bennofs";
  
negative.code:     github = "zupo";
      githubId = 311580;
    };
  }
  