Working collaboratively on GitHub and organizing tasks
January 29, 2025
A crucial aspect of any project is organizing tasks.
I am going to show you today the tools built in to GitHub for organizing tasks and workflows, and how they aid in working with others.
GitHub Issues are items you can create in a repository to plan, discuss and track work. - GitHub Docs
Issues are
They can be either
Issues for public projects can be opened by anyone (by default).
For private projects, only you and your collaborators can open an issue.
Each repository has an “Issues” tab.
We are going to follow along the GitHub Quickstart for GitHub Issues.
This will open an editor in your browser for the issue.
Issues have a title and description.
The description is rendered as markdowon, allowing you to add
This will be rendered as an interactive list that you can check-off as you complete the items.
Issues can be assigned to yourself or to other GitHub users working on the repository.
Issues can grouped together into “Projects”, which we will look at soon.
A big benefit of issues the ability to continue commenting on open issues.
This allows discussion and clarification of the task, and progress reports.
Comments have all the same markdown styling options.
You might think that these issues look a lot like an email-thread you’ve had with an advisor or professor.
But there are big differences:
Email is not a task management system.
There are many other task management software (Asana, Trello, Wrike, Flow) if you don’t like GitHub.
Task management is clearly important when you are working with others.
This is true when collaborating
Or when you are the research assistant for a professor
And it is also crucial when you are working by yourself.
Treat yourself as your own RA - Camilla Adams
Solo projects are collaborations between your current self and your future self.
A project is an adaptable spreadsheet, task-board, and road map that integrates with your issues and pull requests on GitHub to help you plan and track your work effectively.
You can create and customize multiple views by filtering, sorting, grouping your issues and pull requests, visualize work with configurable charts, and add custom fields to track metadata specific to your team. - GitHub Docs
Projects are attached to your GitHub profile (not a repository).
The easiest way to add an issue to a project is when creating it.
You can use the same method to add issues that have already been opened to a project.
Once added, you can then fill out any additional custom fields.
From a project, you can create a “draft” issue.
You can write the description, set all of the custom fields, etc.
Then assign the draft issue to a specific repository
The major benefits of GitHub Projects:
GitHub Issues provide the basic tools needed to manage tasks.
GitHub Projects provides the advanced tools and the nice “visual” views.
Sometimes, GitHub Issues will be enough, but for any big research project, I recommend trying to use GitHub Projects too.
When you start your final project, I will ask you to set up a GitHub Project for it.
For any respository on GitHub, you can add collaborators.
Go to the repository’s “Settings”
then “Collaborators”
and add their GitHub username
As long as you and your collaborators are not editing the same files,
you can push and pull to same GitHub repository.
But if you and your collaborator have conflicting commits
then you will not be able to push to the repository without first resolving the conflict.
One way to solve an out of sync local repository is to…
The default “branch” is called “master” or “main”.
This is how you have been using Git repositories so far.
The default “branch” is called “master” or “main”.
This is how you have been using Git repositories so far.
“Branches” allow you to split your GitHub repository into two (or more) states, each with their own set of commits.
Branches allow you to develop features, fix bugs, or safely experiment with new ideas in a contained area of your repository. - GitHub Docs
Branches are like copying your entire repository to a new folder.
When you are happy with the state of a branch, you will want to merge it back to the “main” repository.
GitHub calls this merge a “pull request”.
Pull requests let you tell others about changes you’ve pushed to a branch in a repository on GitHub. Once a pull request is opened, you can discuss and review the potential changes with collaborators and add follow-up commits before your changes are merged into the base branch. - GitHub Docs
Once you have a branch that you want to merge back onto “main”,
Pull requests will
After a succesful pull request, you can delete the branch.
Branches are a tool and there are a lot of ways to use them in practice:
Branches complicate the flow of Git commits
but they have real benefits