Contributing with GitHub via its interface
- How can I contribute to an open-source project with GitHub and its interface
- Edit a file via GitHub interface
- Create a pull request
- Update a pull request
time Time estimation: 20 minutes
All the training material which you find on https://galaxyproject.github.io//training-material/ is stored on a GitHub repository (https://github.com/galaxyproject/training-material), a code hosting platform for version control and collaboration. GitHub interface is quite intuitive and simplifies the contributions from anyone.
In this tutorial, you will learn how to use GitHub interface to contribute to the training material:
The GitHub repository for the training material is: https://github.com/galaxyproject/training-material.
hands_on Hands-on: Familiarization with GitHub
Go on the GitHub repository: https://github.com/galaxyproject/training-material
View the file
You should see something like:
CONTRIBUTORS.yaml file is where we collect the information (name, email, etc) about the different contributors to display them on our Hall of Fame. You will add your information there. But first you need to sign in to GitHub to be able to change this file.
hands_on Hands-on: Sign in to GitHub
Create a GitHub account (if you do not have one already)
Sign in (once you have a GitHub account)
Edit a file
You can now modify the
CONTRIBUTORS.yaml file to add your information there
hands_on Hands-on: Edit a file
- Open the
CONTRIBUTORS.yamlfile on GitHub
Click on hands_on icon (top right of the file)
A new page will open:
CONTRIBUTORS.yamlby adding yourself
You should use your GitHub username and add it followed by
:is important) at the correct position given the alphabetical order.
- Scroll down to the bottom of the file
Fill the Propose file change form
It can also be named Commit changes for the ones with write accesses to the repository
Fill the box “Update CONTRIBUTORS.yaml” with “Add < GitHub username > as contributor” (replace < GitHub username > by your GitHub username)
comment Commit messages
This a commit message: a description explaining why a particular change was made. Theses messages capture the history of the changes, so other contributors can understand what have been done and why
Leave “Add an optional extended description…” empty
Click on Propose file change
Without realizing it, GitHub let you create your first branch (named here
patch-1) and add a changement on this branch.
Branching is the way to work on different versions of a repository at one time. By default your repository has one branch named
masterwhich is considered to be the definitive branch. When you create a branch off the master branch, you’re making a copy, or snapshot, of
masteras it was at that point in time.
By changing a file in this branch, it will diverge from the
masterbranch. It will contain data that is only on this new branch.
Open a Pull Request
Then the addition of your information in the
CONTRIBUTORS.yaml file is currently only on your branch
patch-1. Not on the
master branch and so not only on the Hall of Fame. You can’t add or push directly to the
master branch, so you need to create what we call a pull request.
The GitHub interface guides you through this process: after clicking on Propose file change, a new page opens:
hands_on Hands-on: Edit a file
- Open and read the CONTRIBUTING.md file
- Come back to the pull request
Fill in the pull request description
- Add a title for the Pull Request
Add a message explaining the changes you made
This message is a good way to introduce yourself and to explain the message you made. Be kind and descriptive. It helps the reviewers to understand why you did your changes and if it should be intergrated into the
masterbranch (and then website).
comment Pull request messages
GitHub uses Markdown, a simple Markup language, to render the Pull request messages. You can then add bold test, lists, images, etc.
Scroll down and check the changes you made
- In green with
+: what you added
- In red with
-: what you deleted
- Click on Create pull request
You have created your first pull request!
Your pull request will be reviewed. There are two possible outcomes:
- Your pull request is accepted. Congratulations! Your changes will be merged into the master branch of the original repository. The website will be re-built and you will be in the Hall of Fame
- Your pull request needs modifications: the reviewers will ask for some changes, possibly because the automatic tests are failing.
Update a Pull Request
One of the reviewers of your pull request asked you to add your name after your GitHub username in the
hands_on Hands-on: Update a Pull Request
- Go to the list of pull request tab on GitHub
Click on your pull request
You can see here the comments the reviewers left you
Click on Files changed tab and see the changes you made
- Click on hands_on icon
Add your name below your GitHub username
It should look like:
bebatut: name: Bérénice Batut
- Navigate to the bottom of the file
- Fill the Commit changes form, similarly to the Propose file change form before
Make sure the Commit directly to the
patch-1branch is selected
Click on Commit changes
The pull request should be automatically updated
- Check that the new changes are added to the pull request on GitHub
With this tutorial, you learn how to use GitHub to change a file, create a pull request and then contribute to the training material. What you have learned here can be applied to any file.
details More about GitHub
Via the GitHub interface, you can also go further: create file, branch directly, etc. To learn that, we recommend you to read the GitHub guide
keypoints Key points
- You can't add or push directly to the `master` branch, so you need to create a pull request
- 1 pull request = 1 branch
- The pull request is the foundation of the collaborative development of the training material
congratulations Congratulations on successfully completing this tutorial!
Developing GTN training materialThis tutorial is part of a series to develop GTN training material, feel free to also look at:
- Overview of the Galaxy Training Material
- Contributing with GitHub via command-line
- Contributing with GitHub via its interface
- Creating a new tutorial
- Creating a new tutorial - Creating Interactive Galaxy Tours
- Creating a new tutorial - Defining the technical infrastructure
- Creating a new tutorial - Slides
- Creating a new tutorial - Writing content in Markdown
- Generating PDF artefacts of the website
- Including a new topic
- Running the Galaxy Training material website locally
feedback Give us even more feedback on this content!
To give us more detailed feedback about these materials, please take a moment to fill in the extended Feedback Form.