From 7f348850e64ffd5263419cbd9d8ca4f0e7d63464 Mon Sep 17 00:00:00 2001
From: Joao Moreno <jomo@microsoft.com>
Date: Fri, 11 Nov 2016 09:12:25 +0100
Subject: [PATCH] hygiene comment

---
 build/gulpfile.hygiene.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/build/gulpfile.hygiene.js b/build/gulpfile.hygiene.js
index e1ebc5adafc..29e35ec4b10 100644
--- a/build/gulpfile.hygiene.js
+++ b/build/gulpfile.hygiene.js
@@ -12,6 +12,14 @@ const gulptslint = require('gulp-tslint');
 const tsfmt = require('typescript-formatter');
 const tslint = require('tslint');
 
+/**
+ * Hygiene works by creating cascading subsets of all our files and
+ * passing them through a bunch of checks. Here are the current subsets,
+ * each containing the following one, in mathematical notation:
+ *
+ * all ⊃ eol ⊇ indentation ⊃ copyright ⊃ typescript
+ */
+
 const all = [
 	'*',
 	'build/**/*',
-- 
GitLab