website: do not use github terminology
We're using gitlab, so "merge-request" is a more appropriate term.
Reviewed-by:
Eric Engestrom <eric@engestrom.ch>
We're using gitlab, so "merge-request" is a more appropriate term.
Reviewed-by:
Eric Engestrom <eric@engestrom.ch>