Hi, I accidentally broken the commit access for many contributors on github. I am trying to revert this, but in worst case we need to activate it again for everyone who had direct access. I am sorry for that, Justin