> 
> I'm intrigued by having the bug database stored in git together with
> the repository. Especially for posterity, offlline usage, etc.....
> 
> I was kinda wondering if we could have the wiki stored in git as well.
> (14 days cooloff before pushing or somesuch?).
> 

The only really viable option seems to be gitit, and I'm not sure we
want something that complex. We're probably better off sticking with
known-good and hosted wiki options.
_______________________________________________
Openocd-development mailing list
Openocd-development@lists.berlios.de
https://lists.berlios.de/mailman/listinfo/openocd-development

Reply via email to