Translate role names to handle GitHub API inconsistency (#8)

See github/rest-api-description#1378

Closes #7

Author: stefanv

sync-teams-to-gh.py

@@ -260,6 +260,13 @@ def http_method(url, data={}, method=None, fail_ok=False):
 
         gh_role = response.get("role_name")
 
+        # The GitHub API has inconsistent role values, so we need to translate.
+        # https://github.com/github/rest-api-description/issues/1378
+        gh_role = {
+            "write": "push",
+            "read": "pull"
+        }.get(gh_role, gh_role)
+
         if gh_role != role:
             if role is None:
                 qprint(f"🔧 Revoking `{team_slug}` access from repo `{owner}/{repo}`")