> > 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