Stories from the GitHub Classroom: Changing Practice, one Pull Request at a Time
--
Before we get started, I’d like to introduce myself. My name is John Britton and I’m the Education Liaison at GitHub.
I have a background in educational technology with a specific focus on training software developers.
In essence, my job is to help you get the most out of GitHub in your teaching
Over the past few years, I’ve had the opportunity to observe the ways educators have used GitHub in the classroom, and I’ve noticed a trend: many educators do not use pull requests in their courses.
That’s a shame, because they’re a really powerful way spark collaboration and improve the learning experience.
--
Enough about me, let’s talk about GitHub:
GitHub is a platform for collaborating on software. It’s a place for you to keep your code, share it with others, and communicate about changes as you make them.
In this talk, we’ll learn about how a key feature of GitHub, the pull request, can be used as a teaching tool.
* Show of hands, how many of you use GitHub on a regular basis?
* And of that group, how many of you are currently using GitHub with your students?
* And finally, how many of you feel that you are using pull requests to their full potential?
--
But first things first: What is a pull request?
(Ask audience)
“A pull request is a proposal to introduce changes, a distinct set of commits, into a project. It’s a conversation about code. When a...