Re: [aspectj-users] AspectJ at Github

[Andy Clement <andrew.clement@xxxxxxxxx>]

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 <eclipse@xxxxxxxxxxxxx> 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 <eclipse@xxxxxxxxxxxxx> 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@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/aspectj-users

_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/aspectj-users

_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/aspectj-users

_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/aspectj-users