Comment by maherbeg

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.