Added docus for using gitlab. Refactored develop documentation.

16 jobs for !843 with git-flow-docs in 45 minutes and 13 seconds (queued for 1 second)
latest merge request