merge: #2633

2633: chore(build): Remove duplicate GHA bot from PRs r=stack72 a=stack72 Co-authored-by: stack72 <[email protected]>
systeminit · Aug 17, 2023 · b823152 · b823152
2 parents dbbc53c + 70870fd
commit b823152
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml