Send repo metrics

Relies on pull request #10. 
Fixes #7 
Seeing how github treats pull-requests merged with previous pull requests.