The Early Days of GitHub