<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
At the very least I think the <a href="http://gitlab.com/geany" rel="noreferrer" target="_blank">gitlab.com/geany</a> project domain should be claimed and mirrored.<br>
<br>
</blockquote>
<br></span>
That seems reasonable, as long as the bug tracker and pull requests and such can be disabled, and the mirroring can be automated.<br></blockquote><div><br></div><div>I can understand to disable the bug tracker, but why do you want to disable pull requests? The objective here I think it's to open the door to the people who want to contribute in gitlab instead of in github.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Regards,<br>
Matthew Brush<div class="HOEnZb"><div class="h5"><br>
<br>
______________________________<wbr>_________________<br>
Devel mailing list<br>
<a href="mailto:Devel@lists.geany.org" target="_blank">Devel@lists.geany.org</a><br>
<a href="https://lists.geany.org/cgi-bin/mailman/listinfo/devel" rel="noreferrer" target="_blank">https://lists.geany.org/cgi-bi<wbr>n/mailman/listinfo/devel</a><br>
</div></div></blockquote></div><br></div></div>