[jbosstools-dev] [gitmigration] is Done - important info in here!