• Switch to fetching source from upstream gitlab site

The only difference between distfiles is root directory name change (gitlab-workhorse-v0.7.1 -> gitlab-workhorse-v0.7.1-bb9806f226a519d493d3b0df1446488cce6d162c)

PR: 208502
Submitted by: amdmi3
Approved by: ports@toco-domains.de (maintainer)