Having started OpenDevin (now OpenHands [1]) I can say it's definitely worth renaming. It's very limiting attaching your branding to someone else's
I still sometimes have to refer to OpenHands as "formerly known as OpenDevin". It may be limiting in the long run, but it definitely had some short-term punchiness.
It gets you some quick attention.
The people that need to notice will follow.
idk, do you think you would have gotten the start you did NOT being called opendevin?
(hi btw! see GP's talk on OpenHands here https://www.youtube.com/watch?v=o_hhkJtlbSs&t=4s)