Merge pull request #27 from informalsystems:ph/remove-backport-workflow

Remove backport workflow
informalsystems · Aug 18, 2023 · ca2bb6d · ca2bb6d
2 parents 6af1c3d + 88d5591
commit ca2bb6d
Showing 1 changed file with 0 additions and 46 deletions.
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml