Add pushgateway support#33

Merged

brian-brazil merged 3 commits intoprometheus:masterfrom

brian-brazil:mm

Jul 15, 2015

Commits on Jul 12, 2015

Add support for exporting metrics to a pushgateway

mmoya
authored and
brian-brazil
committed

Commits on Jul 13, 2015

Rework push gateway code.
brian-brazil
committed

Commits on Jul 15, 2015

Add function to provide IP as grouping key
brian-brazil
committed