Re: [SeaBIOS] [RFC] Add SeaBIOS wiki documents to git repo

[Gerd Hoffmann]

Hi,
> I'm not sure if doing this is a good idea.  It would be nice to have
> the documents in version control, and it would be good to allow
> patches to simultaneously update the code and documentation.  However,
> modifying wiki syntax from an editor isn't that easy.

I don't see editing wiki syntax in $editor as a problem.

But what is the plan for the wiki then?  Discontinue?  Switch to
read-only and update from git?  Two-way sync between wiki+git?

cheers,
  Gerd