Skip to content

website: do not use github terminology

We're using gitlab, so "merge-request" is a more appropriate term.

Merge request reports