devinit/Web-Monitoring-Tool

Monitoring tool for html servers, db services and ssh ports on preconfigured hosts for Development Initiatives

Stars: 1
Forks: 0
Open beginner issues: 0
Indexed issues: 2

Dominant language: Python
License: No license data
Last GitHub push: Aug 11, 2020
Latest indexed: Sep 15, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

2 open issues indexed

Automate deployment of the monitor script to the servers Open

devinit/Web-Monitoring-Tool#8 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Setup proper dev infrastructure to facilitate faster development Open

devinit/Web-Monitoring-Tool#12 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

A short digest of beginner-friendly GitHub issues.