Wiki mirroring (push)
Problem to solve
Repositories can be automatically mirrored to third party git server. This is quite useful, we use it often to develop over Gitlab, and provide code to our customers on their own git servers.
We use wiki for documentation, and we'd like to mirror it to our customers as well. Since it is already a git repo, it shouldn't be too complicated
Intended users
We provide high tailored software to our customers. While we develop on our own systems, including Gitlab.com, our customers could have IP over the source code, so we need to send it to them. Mirroring repositories is the best solution so far. We'd like to mirror documentation as well.