Django GitHub migration done (groups.google.com)

I get not migrating the branches, but not migrating the tags, or at least another way to derive specific versions makes it a tad less useful, does it not?