Image 1 of 1: ‘Image from Undraw.co for version control visualization’

Image 1 of 1: ‘From Freira et al.: Visualization of the GitHub development workflow with PRs’

Image 1 of 1: ‘INTERSECT training repository navigation bar’

Image 1 of 1: ‘File edit button highlight’

Image 1 of 1: ‘Commit changes pop-up dialog’

Image 1 of 1: ‘Commit changes/new branch pop-up dialog’

Image 1 of 1: ‘Open a pull request page reloaded’

Image 1 of 1: ‘Newly opened PR with proposed changes’

Image 1 of 1: ‘Add a comment to a PR’

Image 1 of 1: ‘Link a PR to an Issue’

Image 1 of 1: ‘Link to the Issue’

Image 1 of 1: ‘Information block with reviewers, assignees, labels, projects’

Image 1 of 1: ‘A simple merge with our exercise PR’

Image 1 of 1: ‘Merge PR dropdown with three options’

Image 1 of 1: ‘Confirm merge dialog box’

Image 1 of 1: ‘The PR page with the labels option highlighted’

Image 1 of 1: ‘Apply Labels from the main PRs page’

Image 1 of 1: ‘Label dropdown within a single issue’

Image 1 of 1: ‘Add a new file to the .github directory’

Image 1 of 1: ‘New PR with template’

Image 1 of 1: ‘Reviewers menu on a Pull Request’

Image 1 of 1: ‘PR page with files changed highlighted’

Image 1 of 1: ‘PR add comment plus symbol for reviews’

Image 1 of 1: ‘Adding a review comment to line 6’

Image 1 of 1: ‘Files changed page with review button highlighted’

Image 1 of 1: ‘PR review comments on Conversation tab’

Image 1 of 1: ‘PR review comments on Files changed tab’
