Overall sounds good, one suggestion though.
Ludovic Courtès <l...@gnu.org> writes: > - [ ] Git repository imported *Sunday* I think before the import, you should remove write permissions from everyone (except you), to make sure people do not push to savannah by mistake. Sorry if that was already planned somewhere and I have just missed that. Tomas -- There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors.