I know you rarely use the "Merge pull request" button in GitHub, and I see you use Tower.
Fetch the PR branch locally:
git fetch origin pull/ID/head:pr/ID
If PR contains N commits, squash them into one:
git checkout pr/ID
git rebase -i HEAD~N
Cherry pick the squashed PR commit into master:
git checkout master
git cherry-pick -e pr/ID
Prepend "Close #ID PR: " to the commit message and complete the cherry pick
Run tests and push master
Pay now to fund the work behind this issue.
Get updates on progress being made.
Maintainer is rewarded once the issue is completed.
You're funding impactful open source efforts
You want to contribute to this effort
You want to get funding like this too