Tool based on Github's API to follow Github repos' push activity.