Re: Renaming Old ARIA Repos

2017-05-21 Thread Suneel Marthi
+1 Arthur On Sun, May 21, 2017 at 11:36 AM, Arthur Berezin wrote: > I think it would be nice to redirect the traffic to the right place, > instead of creating broken links, and also to keep the old content for > reference. > > > On Sun, May 21, 2017 at 6:14 PM John D.

Re: Renaming Old ARIA Repos

2017-05-21 Thread Arthur Berezin
I think it would be nice to redirect the traffic to the right place, instead of creating broken links, and also to keep the old content for reference. On Sun, May 21, 2017 at 6:14 PM John D. Ament wrote: > Is there a real reason for the old repos to continue to exist?

Re: Renaming Old ARIA Repos

2017-05-21 Thread John D. Ament
Is there a real reason for the old repos to continue to exist? What would be the problem if they were just deleted? John On Sun, May 21, 2017 at 9:28 AM Arthur Berezin wrote: > Hi All, > > > It seems that the old ARIA organization on GitHub from before we moved to >

Re: Renaming Old ARIA Repos

2017-05-21 Thread Arthur Berezin
I added a note on top of all the repos some time ago, but I'm still getting asked about this. On Sun, May 21, 2017, 16:53 Ran Ziv wrote: > I'd think simply a huge note on the top of the README would suffice. > > On Sun, May 21, 2017 at 4:28 PM, Arthur Berezin

Re: Renaming Old ARIA Repos

2017-05-21 Thread Ran Ziv
I'd think simply a huge note on the top of the README would suffice. On Sun, May 21, 2017 at 4:28 PM, Arthur Berezin wrote: > Hi All, > > > It seems that the old ARIA organization on GitHub from before we moved to > ASF(https://github.com/aria-tosca-old) are still

Renaming Old ARIA Repos

2017-05-21 Thread Arthur Berezin
Hi All, It seems that the old ARIA organization on GitHub from before we moved to ASF(https://github.com/aria-tosca-old) are still creating confusion. I added text "-old" to repo name and changed the description of all repos to point to the new ASF repo. Do you think we should also move all the