Github to gitlab

Vincent Texierrequested to merge
github_to_gitlab into dev

Replaces obsolete mentions of Github with Gitlab #27 (closed)

Edited by Vincent Texier

Merge request reports