From 37f98fdec884a545e2a4c8e57758f3c216f8f6bb Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Fri, 2 Jul 2021 23:32:30 -0700
Subject: [PATCH] zproject: Add prod_settings mypy stub, aliasing
 prod_settings_template.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 zproject/prod_settings.pyi | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 zproject/prod_settings.pyi

diff --git a/zproject/prod_settings.pyi b/zproject/prod_settings.pyi
new file mode 100644
index 0000000000..b63f09596c
--- /dev/null
+++ b/zproject/prod_settings.pyi
@@ -0,0 +1 @@
+from .prod_settings_template import *