Issuing a Pull Request at the GitHub Web Site

Download a hi-resolution version of this video (62MB .mov file) or download a compressed version (10.1MB .webm file).