github desktop pull and merge