playframework/playframework — pull request #1354 by huntc (2013-07-18 05:34:03+00:00)
Title: Change the Play20 name to playframework at github

In order to tolerate version numbering on Play, rename the git repo to something more solid.

playframework was decided on via the mailing list.