[PATCH] docs: add a link to Gitlab on the contributing page