Manual: update git instruction to set up upstream remote.