Re: [Jython-dev] Migrating to GitHub

[Jeff A. <ja...@fa...>]

Ok, I seem to be ready so will try for real. Details on 
https://bugs.jython.org/issue2892 .

I'll try today, but I think there is a fair amount of manual work to 
migrate issues/PRs. Some references will probably break.

Jeff Allen