Python script to watch a git repository and generate push/commit mails.