pr: add GitHub approval upon success with --approve-pr#471

Merged

GaetanLepage merged 3 commits intoMic92:masterfrom

ethancedwards8:approve-pr

Mar 14, 2025

Commits on Mar 12, 2025

github: approve_pr: add optional comment argument when approving PRs
ethancedwards8
committed

Commits on Mar 13, 2025

github: approve_pr: catch error when trying to approve one's own PR
ethancedwards8
committed
pr: add GitHub approval upon success with --approve-pr
ethancedwards8
committed