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