[Koha] Documentation Mirror on Github

Hi all, I'm not sure who manages the git repos so I'm sending this out to all. The Koha repository on Github (https://github.com/Koha-Community/Koha) is updating regularly with new commits, I'd like the same for the documentation repository (https://github.com/Koha-Community/kohadocs).\ This is done using hooks https://help.github.com/articles/about-github-mirrors/ I'm not sure who has management rights to the documentation repo, but if someone could set this up I'd be grateful - or if someone can tell me if I can do it I'd be happy to learn. Thanks Nicole