GitHack is a social gamification platform for GitHub