# 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.

<figure><img src="https://2103450200-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MKew-XtJKAPabdeTxXg%2Fuploads%2FQDqUsPxYcDEmsH0fCNQ3%2Fimage.png?alt=media&#x26;token=54b5d14b-5edc-46b4-8e1e-088f64f9d016" alt=""><figcaption></figcaption></figure>

## 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**.

<figure><img src="https://2103450200-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MKew-XtJKAPabdeTxXg%2Fuploads%2FMVmiFm2JkEKFSUwqT7XU%2Fimage.png?alt=media&#x26;token=d418c144-ae31-4752-94c1-8f10ad7b471d" alt=""><figcaption></figcaption></figure>

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](https://docs.github.com/en/organizations/managing-user-access-to-your-organizations-repositories/managing-repository-roles/repository-roles-for-an-organization#permissions-for-each-role).

## Change Git User permission

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

Click **Change git user permission** button.

<figure><img src="https://2103450200-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MKew-XtJKAPabdeTxXg%2Fuploads%2FfsgyU3DFPaEdKoYWDERj%2Fimage.png?alt=media&#x26;token=aef07e46-6e61-4dbe-8e04-a6f2a8797f77" alt=""><figcaption></figcaption></figure>

Change git permission and click **Save Changes**.

<figure><img src="https://2103450200-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MKew-XtJKAPabdeTxXg%2Fuploads%2FUre6RdwWWSqdkg6Ns0gw%2Fimage.png?alt=media&#x26;token=ab0c9980-01c7-4dd4-a35e-1b2a02add736" alt=""><figcaption></figcaption></figure>

## 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.

<figure><img src="https://2103450200-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MKew-XtJKAPabdeTxXg%2Fuploads%2FCiAhpXcEYi4yN8JM5roE%2Fimage.png?alt=media&#x26;token=21d76c48-4d79-4222-9360-8b20779edefb" alt=""><figcaption></figcaption></figure>
