File _service:obs_scm:pushgateway.obsinfo of Package pushgateway