[monitoring-plugins] Merge pull request #1893 from waja/CI_yamllint

Wed, 28 Jun 2023 07:10:30 -0700 

    Module: monitoring-plugins
    Branch: master
    Commit: b24eb7f46ac8667324efd818c01d68d5a1376c89
    Author: Lorenz Kästle <[email protected]>
 Committer: GitHub <[email protected]>
      Date: Wed Jun 28 16:08:13 2023 +0200
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=b24eb7f

Merge pull request #1893 from waja/CI_yamllint

CI yamllint

---

Reply via email to