use git user in check script

No more separate gitlab user since 5.0.

Should also be merged into 5-0-stable, 5-1-stable, and 5-2-stable.