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