A gamification application focused on developers publishing content on git