1d353bd6e7
The pull_github_pr.sh script is preferred over colorful github buttons, because it's designed to always assign proper authors. It also works for both single- and multi-patch series, which makes the merging process more universal. Message-Id: <b982b650442456b988e1cea59aa5ad221207b825.1633101849.git.sarna@scylladb.com>