Managing roles in GitHub

To manage roles in the instrument repository in GitHub, follow these steps:

1. Navigate to the instrument repository on GitHub.
2. Click on "Settings" in the top menu.
3. Select "Collaborators and teams" from the left tab.
4. Then,
   1. If the user is not yet a member of the repository:
      1. In the "Add people" section, enter the GitHub username or email address of the user you want to assign a role to.
      2. Choose the appropriate role from the "Select a role" dropdown menu. The available roles are:
         • Read: Can view issues and merge requests.
         • Triage: Can view and create issues, and view merge requests.
         • Write: Can create and manage branches, issues, and merge requests.
         • Maintain: Can manage the repository, including settings and members.
         • Admin: Has full control over the repository (only available for organization owners).
      3. Click the "Invite" button to assign the role to the user.
   2. If the user is already a member of the repository:
      1. Find the user in the list of members.
      2. Click on the dropdown menu next to their current role.
      3. Select the new role you want to assign to the user.