☰

Gitlab Username Replicator

Conveniently copy username in gitlab page

As of 2022-10-18. See the latest version.