Critic extension for pushing commits to Critic's GitHub repository