A push to a branch, a pull request, a merge: what each one runs, and what it reaches
click a step for its explanation