Use git pull --depth only on new repo

Using pull with depth option on a non-empty repo may cause some trouble.