[documentation] Mirroring to GitHub
I'm submitting a ...
Put an x in the appropriate square brackets
- bug/error report
- feature request
What is the current behaviour?
It is often beneficial to host material on GitHub, for added external engagement. The recommenced way of doing this is to mirror your GitLab repository to GitHub. We should write guidance on how to do this.
What is the expected/preferred behaviour?
Link to this guide: https://git.fmrib.ox.ac.uk/help/user/project/repository/mirror/index.md