+> *@mro* yes, I'm also confused - don't know who's created that.
My most important concern is that contributions make it across the
migration; specifically that user ids from Google Code match up with user
ids in Github. It looks to me like that didn't work for the migration that
resulted in this repo
https://github.com/piccolo2d/piccolo2d.java +
+> *@mro* ids usually won't match out-of-the-box, so we'll ask/spy round
which github ids to use and map them once finally migrating.