[Proj] Github migration complete

[Howard Butler]

> On May 23, 2015, at 3:22 AM, Elliott Sales de Andrade <quantum.analyst at gmail.com> wrote:
> 
> To show you how this would look (except for the .gitignore and
> git-svn-id suggestions, as those should be done when converting from
> svn), I have uploaded a cleaned repo [1] and, for reference, the
> commands I used to produce it [2].

Fantastic. Unless I hear otherwise, we will use this repo as our starting point. My concerns are to make sure tags/branches are preserved, and Trac ticket->revision and github ticket->sha linkages are preserved as part of the migration.

Howard