jboss source used as example of migrating git from local to github