<div dir="ltr">I just closed all HarfBuzz fdo buzgilla bugs.  Feel free to make it readonly.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 23, 2018 at 1:29 PM, Behdad Esfahbod <span dir="ltr"><<a href="mailto:behdad@behdad.org" target="_blank">behdad@behdad.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Tue, Aug 21, 2018 at 5:13 AM, Daniel Stone <span dir="ltr"><<a href="mailto:daniel@fooishbar.org" target="_blank">daniel@fooishbar.org</a>></span> wrote:<br></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey Behdad,<br>
<span><span class=""><br>
On Wed, 15 Aug 2018 at 23:14, Behdad Esfahbod <<a href="mailto:behdad@behdad.org" target="_blank">behdad@behdad.org</a>> wrote:<br><br></span><span class="">
> So, with gitlab migration in mind, I think I like to continue to keep a git mirror there, but use Github for the rest.<br>
<br>
</span></span><span class="">No problem, all of that makes sense. On the other hand, is there<br>
really any reason to keep a source mirror on gitlab.fd.o?</span></blockquote><div><br></div><div>Not really.  I just liked the idea of having a mirror that does not depend on a proprietary service...<br><br></div><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> If it's just<br>
about the old repo URL, maybe we could just keep that as-is for a<br>
while. People would probably find it pretty confusing if we had a<br>
GitLab repo but you were unable to use issues/MRs/etc, and it was just<br>
a mirror of something else.<br></blockquote><div><br></div></span><div>Right.  I'm fine shutting down our fdo git repo and bugzilla.  We shall move our homepage soon and shut down the existing fdo one.  For releases, we can upload all our past releases on github and retire the fdo directory, or keep it.  I don't have a strong preference.<span class="HOEnZb"><font color="#888888"><br><br></font></span></div></div><span class="HOEnZb"><font color="#888888">-- <br><div class="m_8084772465340083029gmail_signature" data-smartmail="gmail_signature">behdad<br><a href="http://behdad.org/" target="_blank">http://behdad.org/</a></div>
</font></span></div></div>
</blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">behdad<br><a href="http://behdad.org/" target="_blank">http://behdad.org/</a></div>
</div>