Improve git pull on remote (#8524)