maxima/repo versus maxima/maxima et al



Hi, it looks like this:

git://maxima.git.sourceforge.net / maxima/repo

is redundant with maxima/maxima, maxima/site-xml, etc.
since maxima/repo contains subdirectories maxima, site-xml, etc.

In the interest of avoiding confusion, can we nuke maxima/repo?

best

Robert Dodier