Git Management
Last updated
Last updated
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.
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
Owner, Admin and Developer member roles can change git user permission.
Click Change git user permission button.
Change git permission and click Save Changes.
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.
