Renaming a repository at GitHub should(tm) be no problem.
If a repository is renamed using the GitHub UI, all links pointing at
the old name will be forwarded to the new name/location.
Lars
Am 2020-08-14 23:36, schrieb Andy Clement:
> That reason would be lost in the mists of time. There is the related
> aspectj-shadows project that feeds into this one that is called
> org.aspectj.shadows too, but that is still a mirror rather than real repo at
> github. I'm open to a rename, depending on the pain and suffering it will
> cause. Things already feel a thousand times better than before though.
> (Thanks Lars for all the PRs !).
>
> Andy
>
> On Fri, 14 Aug 2020 at 13:52, Lars Grefer <ecli...@larsgrefer.de> wrote:
>
> One small question about that: Why is the repository named "org.aspectj" and
> not just "aspectj"?
> The latter would produce nicer and more concise names and URLs.
>
> Greetings
> Lars Grefer
>
> Am 2020-07-31 17:23, schrieb Andy Clement:
>
> Up until yesterday what was on Github was a mirror for AspectJ. This meant
> you couldn't raise issues against it (you had to go back to bugzilla), also
> any PRs that were submitted were very difficult to handle because project
> committers couldn't process them easily.
>
> Today, the copy of aspectj at https://github.com/eclipse/org.aspectj should
> be a full proper, Github repo! Woohoo! The issues tab is alive and PRs
> should work properly.
>
> cheers,
> Andy
> _______________________________________________
> aspectj-users mailing list
> aspectj-users@eclipse.org
> To unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/aspectj-users
>
> _______________________________________________
> aspectj-users mailing list
> aspectj-users@eclipse.org
> To unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/aspectj-users
_______________________________________________
aspectj-users mailing list
aspectj-users@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/aspectj-users
_______________________________________________
aspectj-users mailing list
aspectj-users@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/aspectj-users
