using GitHub
Ondřej Mottl
wiki:
Project management is the process of leading work of a team … to achieve all project goals within the given constraints.
A … task management tool … is your best friend when it comes to organizing, assigning, tracking, and reporting on tasks.
It should be clear what is the goal and criteria of the task.
One chunk of work = one task
Whole chapter in project management is dedicated to time management.
03:00
What tools and methods do you use?
There are many tools for project management!!!
Original purpose of GitHub Issues is to track bugs & feature requests in software developmen projects🧑💻.
However, We can highjack it for any kind of task management👌🦹.
You can use Markdown in the description and comments
More details on Github Docs
You can split tasks into subtasks and checklists.
This allow to track progress more granularly.
You can use labels to categorize tasks.
Be crateative! You can create your own labels based on:
03:00
Issues can be linked to Pull Requests.
Link specific work with specific changes.
When a PR is merged, the issue is closed automatically.
Use the word close
or fix
in the PR description to link it to the issue.
The issue is closed by the PR
You can create a Milestone for:
You can organise your Issues and Pull Requests in Projects.
You can customise the columns in Projects with:
There is so much more you can do with Projects:
Check the official documentation
03:00
GitHub uses git Tag and expand on it with Releases.
A Tag is a “frozen” state of repo at a certain time
A Release, based on a Tag, “packs” the whole repo into downloadable zip (with docs)
Intermezzo
Do you generate data and/or software?
Good practices for the management and administration of scientific data
“Access as open as possible, as closed as necessary”
ZENODO allows you to choose a licence for your data.
You can always share your private data and restricted access with the correct licence.
There are websites e.g. https://choosealicense.com/ to help on choosing a licence.
Get DOI for your code and data with Zenodo.
of GitHub
Project-specific space for communication on GitHub.
Threads
Pools
From Discussions to Issues.
Brainstorm on how you could use Discussions and Wikis in
03:00
Github allows you to manage your team by specifying roles and permissions.
How would you desing a roles for your team/project?
03:00
Automate your works🤖!
Create a custom small program that will run on GitHub servers.
Usage examples:
Ondřej Mottl Assistant Professor at Charles University