Indeed I know it would be easy if pure GitHub, but it is an eclipse project with connections to eclipse and the security permissions etc are managed on the eclipse side by scripts syncing eclipse accounts with Github settings. I don't know how they would handle the change. Maybe the leftover forwarding thing would mean things 'just work' but my experiences over the last few weeks make me skeptical.
cheers, Andy On Fri, 14 Aug 2020 at 15:59, Lars Grefer <[email protected]> wrote: > Renaming a repository at GitHub should™ 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 <[email protected]> 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 >> [email protected] >> To unsubscribe from this list, visit >> https://www.eclipse.org/mailman/listinfo/aspectj-users >> >> >> _______________________________________________ >> aspectj-users mailing list >> [email protected] >> To unsubscribe from this list, visit >> https://www.eclipse.org/mailman/listinfo/aspectj-users > > > _______________________________________________ > aspectj-users mailing list > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/aspectj-users > > > _______________________________________________ > aspectj-users mailing list > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/aspectj-users >
_______________________________________________ aspectj-users mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/aspectj-users
