From 74ac4495a977f073857b4a2c0ca1f474952711f0 Mon Sep 17 00:00:00 2001 From: Sebastian Pipping Date: Tue, 5 Sep 2023 17:12:05 +0200 Subject: [PATCH] Dependabot: Mark pull requests as "porting: done" --- .github/dependabot.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/dependabot.yml b/.github/dependabot.yml index 5d2fde57..cfc5aadf 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -8,6 +8,7 @@ updates: directory: "/" labels: - "enhancement" + - "porting: done" schedule: interval: "weekly" @@ -19,5 +20,6 @@ updates: directory: "/" labels: - "enhancement" + - "porting: done" schedule: interval: "weekly"