BTW, since google code will be shutting down soon, will this (and other Google repos) be moved automatically to github?