Gamefication platform for GitHub