slides for "How GitHub Does Collaboration" talk