Remove push-aur job (#4610)

This never built the PR job, and doesn't handle pushing to AUR The new plan is to have a separate AUR-specific repo that handles events & rebuilding on dependency-change etc
Chatterino · May 8, 2023 · 1f0aa80 · 1f0aa80
1 parent 62fc590
commit 1f0aa80
Showing 1 changed file with 0 additions and 25 deletions.
diff --git a/.github/workflows/push-aur.yml b/.github/workflows/push-aur.yml