For getting the svn git properly hooked up in github please go to your jboss.org
user account and set your github username (if you don't have one, now is a good time
to create one)
Then we can get proper mappings and you can get proper credit for the work you have done
source gets mirrored to github.