Collaborative work on reversible computing migrated to github