[Savannah-hackers-public] merging education into www

[Karl Berry]

Sylvain and all,

John S. and I would like to merge the education project
(http://savannah.gnu.org/projects/education/ = www.gnu.org/education)
back into the main www project.

Is this controlled in the savannah setup somewhere, or is it a special
case somewhere on the sysadmin side?  I don't see anything in the web
UI, at least.  I looked at the savannah wiki doc and nothing jumped at
me there, either.

I've already copied the actual files into www; that was the easy part.

I don't actually see any reason for the education project to persist now;
these files were the only things in there, as far as I can tell.  Can we
just delete it and have the right thing happen?

Thanks,
Karl