Short GitHub patch workflow demo

Quick follow-up to Forks & pull requests versus emails. Also, I didn't mention it explicitly, but from this point forward every time I run git fetch, it's going to take longer as it tries to fetch random-nick's fork, until I remove this extra git remote.