Add workflow to automatically close a PR (GitHub) (!57) · Merge requests · LibreWolf / Browser / Source · GitLab

Panquesito7 requested to merge Panquesito7/source:close_pr into main Apr 30, 2023

Things added/changed:

Add workflow to automatically close a PR (GitHub).
- Because contributions are only accepted and made via GitLab, it's best to automatically close PRs made on GitHub.
- Closes #110 (closed).