[monitoring-plugins] Merge pull request #2137 from waja/ci_dispatch_ssh

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 7349d6203b8c837bac1658c9af7221f71ea91929
    Author: waja <waja at users.noreply.github.com>
 Committer: GitHub <noreply at github.com>
      Date: Thu Jul 24 10:39:03 2025 +0200
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=7349d620

Merge pull request #2137 from waja/ci_dispatch_ssh

Adding tmate optional to manual dispatch

---