From b350c6ffb768193d5661130387f047707c4a326c Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulip.com>
Date: Tue, 21 Jul 2020 13:23:58 -0700
Subject: [PATCH] lint: Add DevAuthBackend to capitalized strings.

---
 tools/lib/capitalization.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/lib/capitalization.py b/tools/lib/capitalization.py
index 76d7238e80..4664cd260a 100644
--- a/tools/lib/capitalization.py
+++ b/tools/lib/capitalization.py
@@ -16,6 +16,7 @@ IGNORED_PHRASES = [
     r"App Store",
     r"Botserver",
     r"Cookie Bot",
+    r"DevAuthBackend",
     r"Dropbox",
     r"GCM",
     r"GitHub",