github.com/lima is already taken by another project, so we have to come up with another name, e.g., github.com/linuxmachines.
We can also consider renaming lima itself, as there has been also Lima GPU driver project (https://gitlab.freedesktop.org/lima). (But finding an unique/short/rememberable name is not easy 😅 )
EDIT Created https://github.com/lima-vm . Thanks to @jandubois for suggestion.