Filippo Giunchedi has submitted this change and it was merged.
Change subject: Whitespace tidy up. Git keeps ending up with a dirty copy on me
......................................................................
Whitespace tidy up. Git keeps ending up with a dirty copy on me
Change-Id: Ie02a1fcf774be0d310165fa08b318e9a7a4cbe27
---
M manifests/monitor_disk.pp
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/manifests/monitor_disk.pp b/manifests/monitor_disk.pp
index 7537959..09f6067 100644
--- a/manifests/monitor_disk.pp
+++ b/manifests/monitor_disk.pp
@@ -1,4 +1,3 @@
-
class mariadb::monitor_disk(
$is_critical = true,
$contact_group = 'dba',
@@ -11,4 +10,4 @@
critical => $is_critical,
contact_group => $contact_group,
}
-}
\ No newline at end of file
+}
--
To view, visit https://gerrit.wikimedia.org/r/233991
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie02a1fcf774be0d310165fa08b318e9a7a4cbe27
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet/mariadb
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
