https://gitlab.cee.redhat.com/red-hat-developers-documentation/devspaces-documentation/-/blob/main/CONTRIBUTING.adoc is obsolete:

> Go to menu:Settings[Access Tokens], and add a project access token with the following attributes, and remember the token value <gitlab_token>. See Create a project access token.
>Role
> Developer

The only available role now is Guest. See: https://gitlab.cee.redhat.com/help/user/project/settings/project_access_tokens#scopes-for-a-project-access-token

TODO:

• Document the new procedure
• Verify that it enables the push step in a pipeline in user merge requests.
• Find an alternative to enable the push step in a pipeline in user merge requests if required.