Understanding Github Pull Branch