3 ms·

If Github was open source you could post an issue..

• sytse 11y ago
  If you're looking for that consider opening an issue for GitLab (or better, send a merge request).