From e7cbbda23f9016683ed45c2fd5cb96ae55c9cfd8 Mon Sep 17 00:00:00 2001
From: khoi-fish <hi.khoi.nguyen@gmail.com>
Date: Tue, 23 Oct 2018 17:05:52 -0700
Subject: [PATCH] Enable dt-header for git-rev-sync

---
 types/git-rev-sync/tslint.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/types/git-rev-sync/tslint.json b/types/git-rev-sync/tslint.json
index 65c83fb1e3..1bec602599 100644
--- a/types/git-rev-sync/tslint.json
+++ b/types/git-rev-sync/tslint.json
@@ -1,6 +1,6 @@
 {
     "extends": "dtslint/dt.json",
     "rules": {
-        "dt-header": false
+        "dt-header": true
     }
 }