2 Commits

Author	SHA1	Message	Date
Pekka Enberg	c807c903ab	pull_github_pr.sh: Use "cherry-pick" for single-commit pull requests ... Improve the "pull_github_pr.sh" to detect the number of commits in a pull request, and use "git cherry-pick" to merge single-commit pull requests. Message-Id: <20200713093044.96764-1-penberg@scylladb.com>	2020-07-13 17:14:44 +03:00
Piotr Sarna	e8871181eb	scripts: add a script for pulling GitHub pull requests ... In order to avoid the UI merge button which tends to mess up commit authors, a simple script for pulling a PR from GitHub is added. Example usage: $ git fetch; git checkout origin/next $ ./scripts/pull_github_pr.sh 6007 Message-Id: <1fa79c8be47b5660fc24a81fc0ab381aa26d98af.1584014944.git.sarna@scylladb.com>	2020-03-12 21:37:05 +01:00