<div class="gmail_quote">On 8 June 2011 19:53, Fernando Perez <span dir="ltr"><<a href="http://fperez.net">fperez.net</a>@<a href="http://gmail.com">gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div id=":1aa">Well, the question is, if we want to ever host anything other than the<br>
html, like static files, pdfs, videos, etc, or configure any other<br>
functionality, we may find the github hosting insufficient and a real<br>
shell account may be a welcome bit of functionality.<br>
</div></blockquote></div><br>We can put static files there (as we do for the PDF docs at the moment). As far as I know, the only real limitation is that we can't have dynamic pages (e.g. a wiki, comment form, etc.). I don't think that's really an obstacle for what we want.<br>

<br>I'd favour using Github, unless we've got some good reason not to, if only because all the core devs are already set up to use it.<br><br>Thomas<br>