<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">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><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey Behdad,<br>
<span class=""><br>
On Wed, 15 Aug 2018 at 23:14, Behdad Esfahbod <<a href="mailto:behdad@behdad.org">behdad@behdad.org</a>> wrote:<br><br>
> 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>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?</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><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><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.<br><br></div></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">behdad<br><a href="http://behdad.org/" target="_blank">http://behdad.org/</a></div>
</div></div>