Merge branch 'documentation-update' into 'master'

Try to clarify the git-mirror capabilities

See merge request !3
2 jobs for master in 43 seconds (queued for 7 seconds)
latest