From a4b5631cbed6141f8df503cead2ac30e08ba7074 Mon Sep 17 00:00:00 2001 From: Bradley Dice Date: Wed, 4 Jan 2023 14:30:11 -0600 Subject: [PATCH] Enable copy_prs. (#151) Required for the GitHub Actions migration. Authors: - Bradley Dice (https://github.com/bdice) Approvers: - AJ Schmidt (https://github.com/ajschmidt8) --- .github/ops-bot.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/ops-bot.yaml b/.github/ops-bot.yaml index 0a52b67955..5808edbd41 100644 --- a/.github/ops-bot.yaml +++ b/.github/ops-bot.yaml @@ -6,3 +6,4 @@ branch_checker: true label_checker: true release_drafter: true external_contributors: false +copy_prs: true