From 190798c154b2db88f0e6bf41f27da283f0fab327 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 2 Feb 2014 11:11:21 +0100
Subject: procmailrc: Add a comment

Our procmailrc probably isn't immediately obvious.

diff --git a/etc/procmailrc b/etc/procmailrc
index c587f7f..5ffeba8 100644
--- a/etc/procmailrc
+++ b/etc/procmailrc
@@ -19,6 +19,9 @@ EXTENSION = $1
 	:0 fw
 	| $GITHUB_FILTER
 
+	#
+	# Forward the email only if $GITHUB_FILTER rewrote the To: header.
+	#
 	:0 fhw
 	* ^To:(.*[^-a-zA-Z0-9_.])?devel@monitoring-plugins\.org
 	| formail -A 'X-Loop: plugins@monitoring-plugins.org'
-- 
cgit v0.10-9-g596f