1 2 3 4 5 6 7
name = "Amanieu d'Antras" github = "Amanieu" github-id = 278509 email = "amanieu@gmail.com" [permissions] bors.compiler_builtins.review = true