<div dir="ltr">+1. I would also replace migrated documents with links to the new repo. </div><br><div class="gmail_quote"><div dir="ltr">On Fri, Mar 31, 2017 at 3:52 PM Emmanuel Bernard <<a href="mailto:emmanuel@hibernate.org">emmanuel@hibernate.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Should we (as in someone specific that is not me) migrate all the GitHub proposal / design pages from the Wiki?<br class="gmail_msg">
<br class="gmail_msg">
> On 31 Mar 2017, at 14:25, Tristan Tarrant <<a href="mailto:ttarrant@redhat.com" class="gmail_msg" target="_blank">ttarrant@redhat.com</a>> wrote:<br class="gmail_msg">
><br class="gmail_msg">
> As was pointed out by Sebastian, GitHub's wiki doesn't really take<br class="gmail_msg">
> advantage of the wonderful review tools that are instead available for<br class="gmail_msg">
> traditional repos.<br class="gmail_msg">
> Instead of creating noise in the main infinispan repo, I have setup a<br class="gmail_msg">
> dedicated repo for design ideas. Let's fill it up !<br class="gmail_msg">
><br class="gmail_msg">
> <a href="https://github.com/infinispan/infinispan-designs" rel="noreferrer" class="gmail_msg" target="_blank">https://github.com/infinispan/infinispan-designs</a><br class="gmail_msg">
><br class="gmail_msg">
> Tristan<br class="gmail_msg">
><br class="gmail_msg">
> --<br class="gmail_msg">
> Tristan Tarrant<br class="gmail_msg">
> Infinispan Lead<br class="gmail_msg">
> JBoss, a division of Red Hat<br class="gmail_msg">
> _______________________________________________<br class="gmail_msg">
> infinispan-dev mailing list<br class="gmail_msg">
> <a href="mailto:infinispan-dev@lists.jboss.org" class="gmail_msg" target="_blank">infinispan-dev@lists.jboss.org</a><br class="gmail_msg">
> <a href="https://lists.jboss.org/mailman/listinfo/infinispan-dev" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.jboss.org/mailman/listinfo/infinispan-dev</a><br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
infinispan-dev mailing list<br class="gmail_msg">
<a href="mailto:infinispan-dev@lists.jboss.org" class="gmail_msg" target="_blank">infinispan-dev@lists.jboss.org</a><br class="gmail_msg">
<a href="https://lists.jboss.org/mailman/listinfo/infinispan-dev" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.jboss.org/mailman/listinfo/infinispan-dev</a><br class="gmail_msg">
</blockquote></div>