It should be possible using the GitHub API to convert Google Code Milestone-foo tags into actual GitHub milestone assignments for issues.