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 /libexec/plugins-hook | |
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 'libexec/plugins-hook')
0 files changed, 0 insertions, 0 deletions