note on git pull (fetch + merge)