From 86c9a6f729968432b9f0dd785548fbe8065f6f4b Mon Sep 17 00:00:00 2001
From: Lubomír Sedlář <lsedlar@redhat.com>
Date: May 27 2020 10:10:21 +0000
Subject: Fix repotype spelling


---

diff --git a/pagure/internal/__init__.py b/pagure/internal/__init__.py
index 4f106e8..3fa7edf 100644
--- a/pagure/internal/__init__.py
+++ b/pagure/internal/__init__.py
@@ -157,11 +157,11 @@ def check_ssh_access():
         return flask.jsonify({"access": False})
     _log.info("Checking ACLs on project: %s" % project.fullname)
 
-    if repotype not in ["main", "doc"] and not pagure.utils.is_repo_user(
+    if repotype not in ["main", "docs"] and not pagure.utils.is_repo_user(
         project, remoteuser
     ):
         # Deploy keys are not allowed on ticket and PR repos but they are
-        # allowed for main and doc repos.
+        # allowed for main and docs repos.
         _log.info("%s is not a contributor to this project" % remoteuser)
         return flask.jsonify({"access": False})