Closed kelly-sovacool closed 5 months ago
@wong-nw, Vishal gave us the go-ahead to rename it to CRISPIN!
we'll need to search-and-replace throughout this repo. Linux sed commands:
grep -irl cruise . | xargs sed -i 's/CRUISE/CRISPIN/g'
grep -irl cruise . | xargs sed -i 's/cruise/crispin/g'
Credit to @wong-nw for thinking of this!
I'm a fan of this idea since "CRISPIN" sounds closer to "CRISPR" than "CRUISE" does. CRISPIN apparently means shoemaker/cobbler, so we could use 👞 as the emoji. Alternatively, "crisp" can mean cookie so we could use 🍪.
@kopardev what do you think?