Introduction

Figure 1

Image from Undraw.co for version control visualization

Figure 2

From Freira et al.: Visualization of the GitHub development workflow with PRs

Figure 3

INTERSECT training repository navigation bar

Basic Pull Requests

Figure 1

File edit button highlight

Figure 2

Commit changes pop-up dialog

Figure 3

Commit changes/new branch pop-up dialog

Figure 4

Open a pull request page reloaded

Figure 5

Newly opened PR with proposed changes

Figure 6

Add a comment to a PR

Figure 7

Link a PR to an Issue

Figure 8

Link to the Issue

Figure 9

Information block with reviewers, assignees, labels, projects

Figure 10

A simple merge with our exercise PR

Figure 11

Merge PR dropdown with three options

Figure 12

Confirm merge dialog box

Labels and Templates

Figure 1

The PR page with the labels option highlighted

Figure 2

Apply Labels from the main PRs page

Figure 3

Label dropdown within a single issue

Figure 4

Add a new file to the .github directory

Figure 5

New PR with template

'Good' Pull Requests

Code Reviews

Figure 1

Reviewers menu on a Pull Request

Figure 2

PR page with files changed highlighted

Figure 3

PR add comment plus symbol for reviews

Figure 4

Adding a review comment to line 6

Figure 5

Files changed page with review button highlighted

Figure 6

PR review comments on Conversation tab

Figure 7

PR review comments on Files changed tab