Earlier quoted context omitted.
This is a great name! It ties back to git nicely (git pull origin/main), and sounds human. Cursor was also a great name given that it evolved into an advanced AI assisted auto complete. I think their team does a solid job with naming.
Then google the names and look what comes up. Without additional search terms you get the wrong results. A word that is already used in computer is a bad name. And with AI it won’t get better. Ambiguity is a source of confusion and mistakes. By your logic pull/push/main are also great names. One main purpose of a name is distinguishability.
Surely they have a chance of doing it again with Origin