For Hg you can use <a href="http://bitbucket.org/">http://bitbucket.org/</a> or <a href="http://code.google.com/projecthosting/">http://code.google.com/projecthosting/</a><br><br>Kind regards,<br>Kirill Zaborsky<br><br><div class="gmail_quote">
2009/10/9 Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">Kirill Zaborski wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
And I wanted to ask a simple question: why don't you create a repository with Ur sorcecode e.g. on github?<br>
</blockquote>
<br></div>
I develop Ur with Mercurial, so GitHub probably wouldn't work well. What would be the preferred way to export a repo?<div><div></div><div class="h5"><br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br>