From 431d91ab9e0c209a7c65806e6387cb831c4ff5f4 Mon Sep 17 00:00:00 2001 From: Lephenixnoir Date: Sat, 25 Mar 2023 23:45:28 +0100 Subject: [PATCH] ignore repository deletions --- app.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/app.py b/app.py index c111639..4954e9b 100644 --- a/app.py +++ b/app.py @@ -114,6 +114,9 @@ def main(): url_user = make_url_user(data['sender']) msg = f"{url_user} a créé un nouveau dépôt {url_repository}" + if event == "repository" and data["action"] == "deleted": + return "IGN" + if event == "push" and all(c == '0' for c in data["after"]): return "IGN"