diff --git a/tools/run-mypy b/tools/run-mypy
index b5308a9..27ee50f 100755
--- a/tools/run-mypy
+++ b/tools/run-mypy
@@ -20,7 +20,6 @@ sys.path.append(os.path.dirname(TOOLS_DIR))
 
 exclude = """
 zulip/integrations/perforce/git_p4.py
-zulip/integrations/svn/zulip_svn_config.py
 zulip/integrations/zephyr/process_ccache
 zulip/tests/__init__.py
 zulip/tests/test_default_arguments.py
diff --git a/zulip/integrations/svn/zulip_svn_config.py b/zulip/integrations/svn/zulip_svn_config.py
index 33cfc29..6a150e1 100644
--- a/zulip/integrations/svn/zulip_svn_config.py
+++ b/zulip/integrations/svn/zulip_svn_config.py
@@ -20,6 +20,7 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 # THE SOFTWARE.
 
+from typing import Dict, Optional, Text
 
 # Change these values to configure authentication for the plugin
 ZULIP_USER = "svn-bot@example.com"
@@ -40,6 +41,7 @@ ZULIP_API_KEY = "0123456789abcdef0123456789abcdef"
 # * stream "commits"
 # * topic "branch_name"
 def commit_notice_destination(path, commit):
+    # type: (Text, Text) -> Optional[Dict[Text, Text]]
     repo = path.split('/')[-1]
     if repo not in ["evil-master-plan", "my-super-secret-repository"]:
         return dict(stream  = "commits",