Gitlab shortcuts

Merged JosephK requested to merge josephk/docs:master into master

Merge request reports