+0.5 from me. My hesitation is because current SIS development model involves a lot of merges between branches, and I find merge operations easier with Subversion than with Git (yes, the opposite of popular belief). The reason is that when there is merge conflicts to resolve, Subversion provides more information than Git, which I find really useful (Subversion makes easier to identify what the change was in the original branch).
However the benefit of GitHub integration is important, so my positive vote. Martin
