Join the community!
Visit our GitHub or LinkedIn page to join the Tilburg Science Hub community, or check out our contributors' Hall of Fame!
Want to change something or add new content? Click the Contribute button!
As a project grows, managing the numerous code changes can become unwieldy. This is where version control comes into play as a fundamental aspect of a streamlined workflow.
This building block aims to make you familiar with the GitHub workflow by covering the following key areas:
- Introduction to Git and GitHub
- The GitHub workflow
- Pull requests
- Peer reviews
- Exceptions to the standard workflow
Introduction to Git and GitHub
Git is an open-source version control system that tracks changes made to a project’s codebase. This facilitates efficient collaboration by allowing all team members to work simultaneously on the latest project version or access previous versions to make changes.
GitHub is an online hosting service that not only provides version control but also offers tools for code backup, synchronization, and collaboration. It acts as a centralized hub for collaborative development.
This table provides a quick comparison of Git and GitHub:
|Environment||Installed locally||Entirely cloud-based|
|Functionality||Exclusively Source Code
Management (SCM) tasks,
like push, pull, commit,
fetch and merge
|Serves as a centralised
location for uploading copies
of a Git repository. The GitHub
GUI also offers one access
features, and other
Use this building block to get started with Git and GitHub.
The GitHub workflow
In a nutshell, a standard GitHub workflow follows the Branch-Commit-Push-Pull request-Merge (BCPPM) pattern:
- All work on an issue happens in a separate repository branch.
- When work is done, the assigned contributor commits the changes.
- The assignee creates a pull request, often involving peer review.
- Once review (if any) is complete, the changes are merged into the main branch.
The default approach we follow is the GitHub Flow. This workflow model is explained in the rest of this building block.
The GitHub Cheatsheet also summarizes this approach, so you can easily follow along or refresh your memory in case you ever forget a step in the workflow!
The assignee should create a new branch. This can be done in three ways: Use
git checkout -bon the command line, click the “Add branch” icon on the GitHub desktop, or create the branch on the repository’s GitHub page.
If you are resolving an issue, you can use the “Create a branch” option under Development on the issue page. This will automatically link the branch to the issue.
The issue branch should be named
XXis the GitHub issue number and
descriptionis a version of the issue title (e.g.,
issue123-update-appx-figures). The description can be more compact than the issue title itself, but should be comprehensive enough that other team members can understand what is being worked on in the branch.
For complex issues, additional branches can be made off of the main issue branch. These should be named
issue123-update-appx-figures/refactor) These sub-issue branches should be merged into the main issue branch before the main issue branch is merged back to the master branch.
All commits related to an issue should be made in its dedicated branch.
Each commit should have a message in the format
#X Description of commitwhere
Xis the GitHub issue number (e.g., “#123 Add first appendix figure”).
Any commit to master, that is merged to master, or that defines an issue deliverable should follow a complete run of the relevant build scripts (e.g.,
Best commit message practices
Crafting good commit messages is crucial to the history of work on a project being clear and readable. A good commit message:
- should describe the purpose of the commit.
- should not be redundant with what Git is already recording (“Update code” or “Modify slides.lyx” are redundant; “Refactor estimate() function” and “Add robustness figure to slides” are better).
- should be written in sentence caps, use the imperative mood, and not end in a period ("#123 Revise abstract") not ("#123 abstract.").
This post by Chris Beams has an excellent discussion of what makes a good commit message.
When work on an issue is complete, the assignee should create a pull request by clicking
New Pull Requeston the page of the right branch.
The title of the pull request should be
PR for #X: original_issue_titlewhere
Xis the Github issue number (e.g., “PR for #123: Update appendix figures”).
The description / first comment of the pull request should begin with a line that says
Xis the number the Github issue number (e.g., “Closes #123”). This will close the original Github issue and create a link in that issue to the pull request. Subsequent lines of the description can be used to provide instructions (if any) to the peer reviewer.
The pull request should be assigned to the assignee of the original issue.
If an issue requires peer review, the assignee should assign the reviewer(s) in the pull request. In this case the description / first comment of the pull request should provide instructions that define the scope of the peer review along with any information the reviewer will need to execute it efficiently.
Any issue that involves substantial changes to code should be peer reviewed by at least one other lab member, though it is ultimately up to the assignee’s discretion whether or not to send the issue for peer review.
The job of the peer reviewer IS to verify that:
- The deliverable is clear, complete, and conforms to the standards from the deliverables section here
- Files committed to the repository conform to our organizational and code style rules
- Empirical and theoretical results are clear and appear correct
It is NOT typically the job of the peer reviewer to:
- go over every detail of the output and every line of code.
While for example commenting on fine points of code style from time to time is fine, this should not be the primary content of the peer review. When requesting peer review the assignee can request feedback in addition to the above: e.g., particular code or results that need a careful check.
All peer review comments should be made on the pull request itself, not on the original issue.
Revision to the code and other files in the repository as part of the peer review process should be made in the original issue branch (
issueXXX_description) since the pull request will automatically track changes made in the branch.
When peer review is complete, the output is finalized, and issue-specific content like the
/issue/ subdirectory has been deleted, the issue branch should be merged back to
master using a squash merge. You can normally perform this merge automatically from the pull request page on GitHub.
Once the merge is complete, you should delete the issue branch.
Exceptions to the Standard Workflow
In some cases, we may use simpler workflows, for example by skipping the branch/merge steps and just committing directly to
master. Here are a few exceptions:
- No issue branch: It is permissible to skip the step of creating an issue branch and commit changes directly to
masterwhen all of the following are true:
- The issue is small in scope and will involve no more than a few commits
- No one else is likely to be working on the same content at the same time
- All commits follow complete runs of relevant build scripts (e.g.,
Separately, for some projects or repositories, we may decide to use a simplified workflow where we commit everything to
master by default. This could happen, for example, if some co-authors are unfamiliar with
git and prefer the simpler workflow. In such cases, we need to pay attention to avoid cases where many people will be working on the same content at the same time. We also impose a strict rule that all commits follow complete runs of
No pull request: It is permissible to skip the step of creating a pull request if an issue does not require pull review and no changes will be merged back to the master branch.
No peer review: It is permissible to skip the peer review step when the assignee is confident the output is correct and the issue involves no changes or only minor changes to the code that is being merged back to the repository.
Mastering the GitHub workflow empowers effective collaboration and version control in your project journey. Follow the Branch-Commit-Push-Pull Request-Merge (BCPPM) pattern for organized collaboration. Branch for each issue, commit with meaningful messages, initiate pull requests, conduct peer reviews, and merge changes systematically.