contrib: revert changes to github-merge.sh in #5038