lavagetto/plumber
A specialized tool (to be used as a post-recieve hook in git) to build docker images and push them to a private docker registry, and deploy them to marathon
Public GitHub Catalog
Discovered Sep 30, 2026
lavagetto / nagios-plugins
Nagios plugins written at Disqus
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#18561457GitHub System ID
lavagettoOrganization / User
PublicVisibility
ActiveCatalog Status
More from lavagetto
lavagetto/operations-puppet
Wikimedia Foundation operates some of the largest collaborative projects in the world. This is our Puppet repo.
lavagetto/operations-debs-hhvm
Github mirror of "operations/debs/hhvm" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
lavagetto/webtest
A web testing framework for the system administrator