Fix bad git endpoint in tutorial