Migrate to GitHub

[GoogleCodeExporter]

I am not sure if this project is still active so, if only to avoid losing its 
history/tickets/... entirely, I've exported it to GitHub as 
https://github.com/vadz/jing-trang

Please contact me if you'd like to take ownership of that repository.

Original issue reported on code.google.com by vzeitlin@gmail.com on 7 Apr 2015 at 2:33

[GoogleCodeExporter]

Hi. I've created a new github org at https://github.com/relaxng

If possible, can you please transfer ownership of 
https://github.com/vadz/jing-trang over to the https://github.com/relaxng org?

Or if the github management interface doesn't let you transfer it to the org, 
if you can please transfer it to my https://github.com/sideshowbarker account, 
I think I can then transfer it to the https://github.com/relaxng org from there.

Original comment by sideshowbarker on 11 Apr 2015 at 5:38

• Added labels: Type-Task
• Removed labels: Type-Defect

[GoogleCodeExporter]

Unfortunately I can't transfer ownership to the relaxng org because I don't 
have admin rights for this org and I can't transfer it to you because 
sideshowbarker/jing-trang already exists.

Original comment by vzeitlin@gmail.com on 11 Apr 2015 at 5:42

[GoogleCodeExporter]

oops, you should be able to transfer it to sideshowbarker/jing-trang now—I 
just deleted the old fork I had there

Original comment by sideshowbarker on 11 Apr 2015 at 5:53

[GoogleCodeExporter]

OK, done now, thanks!

Original comment by vzeitlin@gmail.com on 11 Apr 2015 at 5:54

[GoogleCodeExporter]

Cheers—new repo now live at https://github.com/relaxng/jing-trang

Original comment by sideshowbarker on 11 Apr 2015 at 6:01

• Changed state: Done