Git Management

The environment source code is hosted on GitHub. Here you can grant and remove access to the repo and quickly see commits made by a specific person.

Add Git User

Before you can access your GitHub repository you must add a GitHub user.

Owner, Admin and Developer member roles can add git users.

Enter GitHub username, select permission and click Add User.

Note the git user permissions:

• Read can pull source code from repository

• Write can pull and push changes to repository

• Triage can pull source code from repository and manage pull requests and issues

Learn more here.

Change Git User permission

Owner, Admin and Developer member roles can change git user permission.

Click Change git user permission button.

Change git permission and click Save Changes.

Delete User

Should you wish to remove users from your repository you can use the Delete button next to each of the usernames, to delete a specific user.