Code Collaboration using GitHub
OverviewTeaching: 30 min
Exercises: 5 minQuestions
How can others contribute to my project on GitHub?
How can I contribute to the projects of others?Objectives
Learn what a fork is on GitHub
Understand how to open a pull request.
Now that we know the basics of git, we might want to know about code collaboration. There are several ways for people to contribute to your project. If you are working with a small number of people who you know well, you may simply choose to add them as collaborators to your repo. This will give them the ability to push to your repository.
To add collaborators to your project, navigate to your repository on GitHub Click the “Settings” button to the right of the little gear. This will take you to some options that will help you to maintain your repository.
This page lets you do several important things, including rename, relocate, transfer, or delete your repository.
Underneath the “Features” heading you will notice an option to “Restrict editing to collaborators only”. This option prevents random strangers from being able to push changes to your repository, and should always be kept on. To allow other people to work with you, you can assign collaborators. Click the “Manage access” tab on the left. This will bring up a page where you can see some details about your repository. The box under the heading “Manage access” will allow you to invite collaborators to your project.
A pop-up with a search bar will appear where you can search for the names of other GitHub users. By finding someone using the search bar and then clicking “Add collaborator”, you can allow specific people to contribute to your project. Generally speaking, you should only list someone as a collaborator if you work with them closely and trust that they won’t do anything especially unwise with your repository.
Adding them to the repository as a collaborator will allow them to push to the repository the same way you do.
People you don’t know very well shouldn’t be listed as collaborators, but there are still ways for them to contribute improvements to your project.
Protecting your main Branch
If you choose to work with collaborators, there are still ways for you to protect your code.
Click the “Branches” tab. You will see a heading which says “Branch protection rule”.
Adding the name of a branch here will make it a “protected branch” and the rules you choose in the section below will protect the branch (under the heading “protect matching branches”).
For example, you may want to choose to protect the
main branch so that pull requests and reviews are required to change the branch.
This way, your collaborators will not be able to push to the main branch, and must submit a
pull request more on this later in order for their changes to be incorporated.
You can read more about branch protection here.
Pull Requests - Branch and Pull Request (PR)
Protecting your main branch will require contributors to submit their changes through a process called a Pull Request. As the repository owner, you can also change the code through a pull request on GitHub.
Previously, we discussed that all changes should take place on branches. This is still true, however, we are now going to incorporate those changes through a pull request on GitHub rather than through a merge.
Create a new branch in your repository to make a small change.
$ git checkout -b collab_instructions
Add the following to your README and commit the change.
To submit your feature to be incorporated to the main branch, you should submit a `Pull Request`. The repository maintainers will review your pull request before accepting your changes.
$ git add README.md $ git commit -m "add collaboration instructions to readme"
We want these changes incorporated into the main branch.
You could do as we did before and switch to the
merge then changes, and push to GitHub for the changes to be present there on the
If you are the repository owner, this will work even if you have branch protection rules.
However, if you are not, your push from main will be rejected by GitHub.
We will want to push to a new branch on the repo then open a pull request.
$ git push origin collab_instructions
You will get an output similar to the following:
Enumerating objects: 5, done. Counting objects: 100% (5/5), done. Delta compression using up to 8 threads Compressing objects: 100% (3/3), done. Writing objects: 100% (3/3), 470 bytes | 470.00 KiB/s, done. Total 3 (delta 2), reused 0 (delta 0) remote: Resolving deltas: 100% (2/2), completed with 2 local objects. remote: remote: Create a pull request for 'collab_instructions' on GitHub by visiting: remote: https://github.com/YOUR_USERNAME/molecool/pull/new/collab_instructions remote: To github.com:YOUR_USERNAME/molecool.git * [new branch] collab_instructions -> collab_instructions
This message tells you that a new branch has been created on your repository, and also tells you that you may want to open a pull request. You can click this link or copy and paste it to open a pull request. Write a description of the pull request in the box, then click “Create Pull Request”.
Once the PR is created, you will see a page describing the PR. On the top of the repo, you should see a button called “Pull Requests” and it should show that one is open for your repo. You can then choose to review the PR, or in this case you can just merge it without a review. To review a PR, click the ‘Files changed’ tab. You can review the changes (green Review changes button). Since you are looking at your own PR, you won’t be able to “Approve” if you have put in the branch protection rule. However, you can comment on and merge the changes if you wish.
This kind of workflow is fine if you and everyone contributing has write access to the repo. However, this will sometimes not be the case and you will want to contribute to repos where you do not have write access. In the next couple of sections, we will explore how this works in detail.
We have seen how it is possible to allow other people to contribute to a project by listing them as collaborators. This works fine for a project that only a handful of people work on, but what about large open-source projects that might have hundreds of people who are interested in adding their own features? No one wants to add all of those names to the list of collaborators, and giving everyone who asks the ability to push anything they want to the repository is guaranteed to lead to problems.
The solution to this question comes in the form of “forks.”
Unfortunately, the word “fork” has multiple possible meanings in the context of open-source software development. Once upon a time, open-source software developers used the word “fork” to refer to the idea of taking an existing software project, making a copy of it, changing the name, and then developing it completely independently of the original project. For the purpose of this discussion, every time we use the word “fork,” we mean what happens when you push the fork button in GitHub.
A fork is a copy of a repository that is largely independent of the original. The maintainer of the original repository doesn’t have to do anything or know about the existence of the fork. Want to make changes to an open-source project, but aren’t listed as a collaborator on the project? Just make a fork, which you own and can manage in the same way as any other repository that you create on GitHub. If you want to submit changes to the project’s official repository, you can create a “pull request”, which we will discuss in more detail in the next section.
For now, we will learn how to create and maintain a fork.
During this section, we will all fork a central repository, make changes, then submit something called a Pull Request to have those changes incorporated into the code. We will leave the package we are developing for this section.
Navigate to the URL https://github.com/molssi-education/periodic-table in your web browser. You should see a GitHub repo. This repository contains code to make a website which has the periodic table. View the website https://molssi-education.github.io/periodic-table. On the website page, elements which appear with a red background have a page and information filled in. You can read more about each element by clicking on it. Elements with a white background do not yet have a page. Take a minute or two to click around.
Create a personal fork of the repository by pressing the “Fork” button near the top right of the web interface.
GitHub will copy the repository to your profile. It should automatically redirect when it’s done.
You should notice at the top of the page, the name of the repository has a ‘fork’ symbol by it.
It should say
YOUR_USERNAME/periodic-table, and under that say
forked from molssi-education/periodic-table.
You can use the following diagram to visualize what you just did.
Then, make a clone of the fork on your personal computer. Before you make the clone, MAKE SURE YOU ARE NOT IN A GIT REPOSITORY.
$ git status
You should see the message
fatal: not a git repository (or any of the parent directories): .git
If you do not see this message, navigate using
cd until you do.
Next, clone the repository to your computer.
Use the green button (Clone or download) on your fork and make sure you choose SSH rather than HTTPS to get the
$ git clone <fork URL> $ cd periodic-table
Now, when we visualize what our repositories look like, we have a copy of our fork on our local machine.
In a real development situation, we would also create a new
conda environment for developing in this repository.
Upstream - Tracking the original repository
In your terminal window, type
$ git remote -v
You should see output similar to the following
origin firstname.lastname@example.org:YOUR_GITHUB_USERNAME/periodic-table.git (fetch) origin email@example.com:YOUR_GITHUB_USERNAME/periodic-table.git (push)
This is similar to our own repository.
However, since this is fork, we will want to add another remote to track the original repository.
The standard names for remotes are
origin for the repository we have cloned from, and
upstream for the repository we forked from.
Add an upstream using the following command
$ git remote add upstream firstname.lastname@example.org:molssi-education/periodic-table.git
Now, when you check the remotes (
git remote -v), it should list both the
If we wanted to pull changes from the original repo, we could do
git pull upstream branch_name
$ git fetch upstream
To get a copy of the upstream repository. This will be in a hidden branch. You should be able to see both the origin and upstream hidden branches by typing
$ git branch -a
We will use remotes/upstream/main to keep track of new changes that happen upstream that we do not have in our local main.
Developing a new feature - creating branches
We will implement a new element for the webpage.
Create a new branch in your repo with your element of choice. For this demo, I will be editing the sodium page. You should choose another element. This can either be an element that exists (red background), or an element that doesn’t exist yet (white background).
$ git checkout -b sodium
This command creates the branch and checks it out (the
-b stands for
Alternatively, we could have used the commands
git branch sodium and
git checkout sodium.
In general, your branch name should describe the feature or changes that you plan to make on the branch.
You will see the output
Switched to a new branch 'sodium'
We have now created a new branch called
sodium and checked it out.
Importance of Branching
When you are doing development, particularly on a fork (but also if you are collaborating), it is very important that all development work be done on a branch. In the case of a collaborative repository where you are pushing directly, this will allow you to do pull requests from branches (more on pull requests below), and that your code is reviewed by another developer on the project before being merged to the main branch.
The most important reason to work on a branch is to keep your main branch clean. In the workflow you are learning today, the main branch should track upstream, and only be changed by pulling from upstream. This will ensure that you always have a working piece of software on the main branch. It will make it easier to correct mistakes if they arise, and keep your repository clean if you have multiple collaborators.
Editing our element
Now it’s time to edit our periodic table element.
If you have picked an element which exists already, there will be a file with the name
element_name.md where element name is the element you’ve chosen.
If the file does not exist, create it.
For example, to create the sodium file,
$ touch sodium.md
Once the file is created, open it in your text editor of choice. It is important that every element have the following at the top of the page (note - spacing is very important!)
--- layout: page title: ELEMENT_NAME ---
If you are creating a new page, fill in the appropriate element name. Add some text about the element below the heading. For example, our sodium page might look like the following.
--- layout: page title: Sodium --- Symbol : Na Atomic Number : 11
Save your file after you edit it.
Testing out the website
If you have Jekyll installed, you can view a local copy of the webpage. This is not a necessary step. If you do not have Jekyll installed, or do not wish to install Jekyll skip this step.
Execute the command
$ bundle exec jekyll serve
in the terminal the top level of your project to render a local copy of the webpage. Navigate to the local address to view your website and make sure your new element is working.
Committing the change
Let’s add and commit these changes.
$ git add elements/YOUR_ELEMENT.md $ git commit -m "update YOUR_ELEMENT page"
Next, we must push these changes.
But, where do we want to push the changes? We would like to have our changes incorporated into the central repository, but do not have permission to push upstream.
We will have to push to origin (our repository) on the
sodium branch (or whatever branch you’re working on), then we will request that the maintainers of the upstream repository incorporate our changes, or pull from our repository.
This is why it is called a
We are literally requesting them to pull from our repository.
$ git push origin sodium
Here, the last line indicates that we are pushing to
origin (our fork) to the
The branch name you type in place of sodium should match the name of the branch you are working on.
If you view your repository on GitHub, you should now see that you have another branch in addition to the main branch.
As part of the output from this command, you should see the following:
remote: remote: Create a pull request for 'sodium' on GitHub by visiting: remote: https://github.com/YOUR_GITHUB_USERNAME/periodic-table/pull/new/sodium remote:
git is correct.
What we will want to do next is creating a pull request on the original repository to get our changes incorporated.
Opening a Pull Request
It is now time to incorporate the edits you have made in your fork into the original repository.
To do this, we must create a
Navigate to the URL of your fork. You should see a highlighted area and green button which says “Compare and Pull Request”. Alternatively, you can navigate to the URL given in the message where you did a push.
Once you are on the page that says “Open a pull request”, you should see fields which ask for the name of the pull request, as well as a larger text box which has space for a description. Make the title of this pull request “add sodium page”. Edit the description to describe what you have done in your pull request, then submit the pull request.
Now, the maintainers of the repository can review your material, and request changes if they feel it necessary.
Anyone can see Pull Requests on public repositories. Try reviewing a few pull requests on the periodic table repository. You can leave comments/reactions. Take a few minutes to review someone else’s pull request.
Once your changes have been accepted, upstream will have those changes on the
This is indicated in the figure below through the change in color of the word ‘main’.
Incorporating upstream changes to local
After your change has been accepted to upstream, you will want to incorporate the changes into your local main branch. First, switch to your main branch.
$ git checkout main
You can get changes to your local main by either doing a
git pull from upstream main, or by doing a
git fetch from upstream main, followed by a merge.
For now, just do a pull.
$ git pull upstream main
Next, you will want to update your origin main. Push from the local main to origin.
$ git push origin main
Now, your upstream main and origin main should be at the same point.
If you are done working with your feature branch, you can now delete it.
$ git branch -d sodium
-d option means to delete the branch.
To delete the branch on your origin repository on GitHub, you can use the command
$ git push origin --delete sodium
If you want more
git, see the following tutorials.
To contribute to someone else’s project, you should fork their repository.
All development work should be done on a new branch. Each branch should implement one feature.
Once you’ve implemented a new feature, push to your repository and create a pull request on the original repo.