<html><head>
<meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type">
</head><body bgcolor="#FFFFFF" text="#000000">Gervase Markham wrote:
<blockquote cite="mid:vNKdndzLpPRCP3nSnZ2dnUVZ_oOdnZ2d@mozilla.org" 
type="cite">
  <pre wrap="">Bugzilla's documentation has stagnated.</pre>
</blockquote>
[snip]<br>
<blockquote cite="mid:vNKdndzLpPRCP3nSnZ2dnUVZ_oOdnZ2d@mozilla.org" 
type="cite">
  <pre wrap="">0) Do you agree with my initial assertion that our docs have stagnated?</pre>
</blockquote>
yes<br>
<blockquote cite="mid:vNKdndzLpPRCP3nSnZ2dnUVZ_oOdnZ2d@mozilla.org" 
type="cite">
  <pre wrap="">1) Do you agree with my diagnosis of the problem?</pre>
</blockquote>
yes<br>
<blockquote cite="mid:vNKdndzLpPRCP3nSnZ2dnUVZ_oOdnZ2d@mozilla.org" 
type="cite">
  <pre wrap="">2) What do you think of my proposed SCM-backed-wiki solution?</pre>
</blockquote>
no.<br>
<br>
<blockquote type="cite"><span><pre wrap="">We could just say "hey, move it all to the wiki". However, IMO we also
don't want to lose the very useful ability to have frozen versions of
the documentation for each release:
<a class="moz-txt-link-freetext" href="http://www.bugzilla.org/docs/">http://www.bugzilla.org/docs/</a>
AIUI, that would be hard to do on a standard MediaWiki like
wiki.mozilla.org.</pre></span></blockquote>
what's wrong with having different namespaces:<br>
<span>  <a class="moz-txt-link-freetext" href="http://wiki.bugzilla.org/docs/4.0/en/html/">http://wiki.bugzilla.org/docs/4.0/en/html/</a><br></span><span>  
<a class="moz-txt-link-freetext" href="http://wiki.bugzilla.org/docs/4.2/en/html/">http://wiki.bugzilla.org/docs/4.2/en/html/</a><br>
  <br>
there are many mediawiki extensions which will allow us to restrict 
editing of pages once we want to freeze the docs for a version.<br> 
</span><br>
<br>
<div class="moz-signature">-- <br><span style="color: rgb(192, 192, 
192);">byron - <a class="moz-txt-link-freetext" href="irc:glob">irc:glob</a> - bugzilla.mozilla.org team -</span><br 
style="color: rgb(192, 192, 192);">


<br style="color: rgb(192, 192, 192);">

</div>
</body></html>