Merge branch 'main' into add-aad-normalization

3rd-party-integrations · Oct 10, 2023 · 846a635 · 846a635
2 parents 985bd99 + 9c37e64
commit 846a635
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/app.py b/app.py
@@ -70,7 +70,7 @@ def sync_team(client=None, owner=None, team_id=None, slug=None):
         try:
             directory_group = get_directory_from_slug(slug, custom_map, org)
             # If we're filtering on group prefix, skip if the group doesn't match
-            if group_prefix.length() > 0 and not directory_group.startswith(
+            if len(group_prefix) > 0 and not directory_group.startswith(
                 tuple(group_prefix)
             ):
                 print(f"skipping team {team.slug} - not in group prefix")

diff --git a/githubapp/core.py b/githubapp/core.py
@@ -89,6 +89,11 @@ def init_app(self, app):
             methods=["POST"],
         )
 
+        app.add_url_rule("/health_check", endpoint="health_check")
+        @app.endpoint("health_check")
+        def health_check():
+            return "Web server is running.", 200
+
     @property
     def id(self):
         return current_app.config["GITHUBAPP_ID"]