pick-to-branch: Improve fix of behavior on failed cherry-pick
[tools.git] / review-tools / pick-to-branch
2021-11-22 Dr. David von Oheimbpick-to-branch: Improve fix of behavior on failed cherr...
2021-11-22 Dr. David von Oheimbpick-to-branch: make sure that local branch is up-to...
2021-11-22 Dr. David von Oheimbpick-to-branch: revert cherry-pick if aborted by user
2021-11-05 Tomas Mrazpick-to-branch: fix inferring the id from master branch
2021-11-01 Dr. David von Oheimbpick-to-branch: Further improve user guidance on commit id
2021-11-01 Dr. David von Oheimbpick-to-branch: Fix behavior on failed cherry-pick
2021-11-01 Dr. David von Oheimbpick-to-branch: Improve diagnostics on bad target branch
2021-11-01 Dr. David von Oheimbpick-to-branch: Fix the case that commit id is derived...
2021-11-01 Dr. David von Oheimbpick-to-branch: Preserve current branch and its state...
2021-11-01 Dr. David von Oheimbpick-to-branch: Improve user guidance
2021-08-31 PauliUpdate tools scripts to know about 3.0
2020-02-28 Dr. David von Oheimbmake addrev exit with 1 in case of failure
2018-09-12 Bernd Edlingerpick-to-branch: Update active branches
2017-07-26 PauliModifications to pick-to-branch script.
2017-07-04 PauliMake the final question before push have a _yes_/_no_...
2017-03-13 Rich SalzMerge branch 'master' of git.openssl.org:tools
2017-03-03 Rich SalzAdd pick-to-branch