A clip from the "What is Github?" video I animated this year:
https://www.youtube.com/watch?v=w3jLJU7DT5E
