From 9406046ebe8b87eb30f0da0dec7029c91d5f1b86 Mon Sep 17 00:00:00 2001 From: David Gardner Date: Fri, 1 Sep 2023 09:45:52 -0700 Subject: [PATCH] Revert "Use `copy-pr-bot` (#369)" This reverts commit fa5e40ca437279466a3607a889a2b8cdd2a7cbb0. --- .github/copy-pr-bot.yaml | 4 ---- .github/ops-bot.yaml | 2 ++ 2 files changed, 2 insertions(+), 4 deletions(-) delete mode 100644 .github/copy-pr-bot.yaml diff --git a/.github/copy-pr-bot.yaml b/.github/copy-pr-bot.yaml deleted file mode 100644 index 895ba83ee..000000000 --- a/.github/copy-pr-bot.yaml +++ /dev/null @@ -1,4 +0,0 @@ -# Configuration file for `copy-pr-bot` GitHub App -# https://docs.gha-runners.nvidia.com/apps/copy-pr-bot/ - -enabled: true diff --git a/.github/ops-bot.yaml b/.github/ops-bot.yaml index d2ca78924..2ef41b367 100644 --- a/.github/ops-bot.yaml +++ b/.github/ops-bot.yaml @@ -5,3 +5,5 @@ auto_merger: true branch_checker: true label_checker: true release_drafter: true +copy_prs: true +rerun_tests: true