GitLab account activation

• Developer account / GitLab username: Michaelcochez
• Reason for access - what projects are you planning to host or contribute to: propertysuggester/RecommenderServer

GitLab Admin checklist

This section is to be completed by a GitLab administrator.

• - User has provided the following: developer account username and reasoning for access
• - User has an existing developer account, and has used it to log in to GitLab

If any of the following criteria are met, user should be approved immediately:

• - User is known to the admin
• - User is vouched for by a known contributor
• - User has a history of contributions on Gerrit, Phabricator, on-wiki, etc.
• - User is a member of a movement organization