Add prometheus metrics for number of badge update pushes.