[ghc-steering-committee] Atze Dijkstra is ghc-proposals repo admin?

Hi Atze, dear committee, I noticed that Atze Dijkstra is a GitHub admin for the https://github.com/ghc-proposals/ghc-proposals repo. Is that intentional? Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/