Google Summer of Code/2013/Ideas/Live commit notification