From a211fafdc4e6b1d271a58cc88e8710bae48619c6 Mon Sep 17 00:00:00 2001 From: Jakob Borg Date: Wed, 8 Apr 2026 17:48:27 +0200 Subject: [PATCH] policy: pushing invalidates PR approval Signed-off-by: Jakob Borg --- .policy.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.policy.yml b/.policy.yml index 8bb36f606..4c3d0bf52 100644 --- a/.policy.yml +++ b/.policy.yml @@ -53,6 +53,7 @@ approval_rules: options: ignore_update_merges: true allow_non_author_contributor: true + invalidate_on_push: true # Regular pull requests require approval by an active contributor - name: is approved by a syncthing contributor @@ -63,6 +64,7 @@ approval_rules: options: ignore_update_merges: true allow_non_author_contributor: true + invalidate_on_push: true # Changes to some files (translations, dependencies, compatibility) do not # require approval if they were proposed by a contributor and have a