diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-02-14 11:18:14 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-02-14 11:18:14 (GMT) |
| commit | aca7c02fc88bf5957ea3c8dcafe950fd3dac0f91 (patch) | |
| tree | ac665f0242d59093de08ba0173ebe50dce327976 /web/input/development.md | |
| parent | c634471607cd83605fc334195514f136d90812d9 (diff) | |
| download | site-aca7c02fc88bf5957ea3c8dcafe950fd3dac0f91.tar.gz | |
filter-github-emails: Strip [monitoring-plugins]
Now that we edit the GitHub notifications anyway, lets also strip the
[monitoring-plugins] tag. We don't strip the tags of our other
repositories, so that notifications for them do stand out (on the rare
occasion we receive them).
Diffstat (limited to 'web/input/development.md')
0 files changed, 0 insertions, 0 deletions