[Koha] Documentation Mirror on Github

[Nicole Engard]

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