Merge pull request #65767 from ivan/pushgateway-maintainers

prometheus-pushgateway: remove myself from list of maintainers
This commit is contained in:
Mario Rodas 2019-08-02 02:03:56 -05:00 committed by GitHub
commit 96d0fae21e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -43,7 +43,7 @@ buildGoPackage rec {
description = "Allows ephemeral and batch jobs to expose metrics to Prometheus";
homepage = https://github.com/prometheus/pushgateway;
license = licenses.asl20;
maintainers = with maintainers; [ benley fpletz ivan ];
maintainers = with maintainers; [ benley fpletz ];
platforms = platforms.unix;
};
}