github desktop pull main into branch