From 3f2e30669549e7d2cd6dad8f6a03a995315f584b Mon Sep 17 00:00:00 2001 From: Bradley Dice Date: Wed, 4 Jan 2023 10:47:22 -0600 Subject: [PATCH] Enable copy_prs. (#523) Needed for 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 0a52b679..5808edbd 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