Merlijn van Deen has uploaded a new change for review.
https://gerrit.wikimedia.org/r/211098
Change subject: Add warning comment to manifest file
......................................................................
Add warning comment to manifest file
Change-Id: Ic55f19e116aaac346b05fa45341322cc27a6a515
---
M tools/common/tool.py
1 file changed, 1 insertion(+), 0 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/operations/software/tools-webservice
refs/changes/98/211098/1
diff --git a/tools/common/tool.py b/tools/common/tool.py
index 37fe8c1..61d8ef2 100644
--- a/tools/common/tool.py
+++ b/tools/common/tool.py
@@ -61,6 +61,7 @@
tilde_file_fd = os.open(tilde_file_path, os.O_CREAT | os.O_EXCL |
os.O_WRONLY, 0o644)
tilde_file = os.fdopen(tilde_file_fd, 'w')
try:
+ tilde_file.write("# This file is managed by webservive. Do not
edit manually.\n")
yaml.safe_dump(self._manifest, tilde_file,
default_flow_style=False)
finally:
tilde_file.close()
--
To view, visit https://gerrit.wikimedia.org/r/211098
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic55f19e116aaac346b05fa45341322cc27a6a515
Gerrit-PatchSet: 1
Gerrit-Project: operations/software/tools-webservice
Gerrit-Branch: master
Gerrit-Owner: Merlijn van Deen <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
