Follow-up Comment #9, sr #107671 (project administration):
the original request is done, thanks to Ineiev.
(https://savannah.gnu.org/people/ now allows selecting of multiple categories,
etc.)
I left it open because of Ineiev's comment that:
> git push still doesn't work
[on frontend.sv.gnu.org, but I'm not sure of the directory involved, since
/etc/savane/content/gnu-content/people is in CVS, not git. Unless you were
doing git-over-CVS, Ineiev?]
k
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107671>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
