Hi, I was wondering how people feel about migrating the BioJava svn repository and starting to use github for the trunk development? (Currently github is only a read-only copy of our developer svn). Any opinions? Andreas