Am 06.04.2014 10:35, schrieb Stefan Weil: > Am 06.04.2014 10:20, schrieb Peter Maydell: >> On 6 April 2014 07:37, Michael Tokarev <m...@tls.msk.ru> wrote: >>> While we don't have issues with the model itself, but really wonder if we >>> should keep this file inside qemu sources. It isn't used in there, as >>> explicitly stated above, and maybe it is easier to maintain it "closer" >>> to the website? >> >> Where would that be? There's no version control there. The >> other alternative would be somebody's personal git repo, >> which seems a recipe for it being impossible to find. >> >> thanks >> -- PMM >> > > I suggest documenting the use of coverity in the QEMU wiki. > http://wiki.qemu.org/Testing is a good place for that. > > The model file could also be placed there on a new page: mediawiki has > version control, and maintenance would be easier than with patches sent > to the mailing list. People who want to review any changes just have to > get a Wiki account (most already have, I assume) and watch the page for > modifications. > > Regards > Stefan
I forgot to mention that a license change would be needed for the model file because the Wiki uses the GNU Free Documentation License 1.2. Stefan
