Talk given at the "Kyoto Git&GitHub Introduction" meetup