Do we have a platform-independent way to detect whether the NuttX distribution is a git clone or not?
Yes, just do a check if the directory at $TOPDIR/.git exists.
It will also trash any personal files that you may have in your clone. I keep lots of helper stuff in my repositories. I wouldn't want them deleted. That would be a catastrophy for me.Also, doesn't 'make distclean' clean in apps as well as nuttx? Because I think 'git cleanup' won't clean apps.
