Summary and Schedule
This is a GitHub skill-up for Carpentries Maintainers and lesson developers. It is designed primarily as a resource for skill-up leaders, but may also be useful for self-directed learning.
We recommend that skill-up leaders use the Instructor View when using the site.
Target Audience
The skill-up is aimed at people with a basic familiarity with the GitHub interface, and the process of editing files and committing changes to a repository via the GitHub web interface. It will be particularly relevant to people maintaining/developing a lesson using The Carpentries lesson infrastructure (the Workbench.
Objectives
After following the skill-up, participants should be ready to practice the following skills:
- Manage issues more effectively with labels, referencing, and automatic closure
- Use GitHub’s comment and suggestion features to review pull requests
- Resolve simple merge conflicts using the GitHub web interface
| Setup Instructions | Download files required for the lesson | |
| Duration: 00h 00m | 1. Managing issues |
How can labelling help me manage issues on a repository? How do I add labels to issues? What are the recommended labels, and when should I use them? |
| Duration: 00h 30m | 2. Referencing pull-requests and issues |
How do I reference issues and pull requests? How can issues be automatically closed when a pull request is merged? |
| Duration: 00h 40m | 3. Reviewing pull-requests |
What features does GitHub provide to facilitate reviewing pull
requests? What are the different options for the outcome of a pull request review, and when should I use each one? |
| Duration: 01h 10m | 4. Resolving conflicts |
When might I encounter merge conflicts while maintaining/developing a
lesson? How can I resolve simple conflicts in the GitHub web interface? |
| Duration: 01h 25m | Finish |
The actual schedule may vary slightly depending on the topics and exercises chosen by the instructor.
Setup
To follow this skill-up, you will need a GitHub account and a web browser.