xiaokang opened a new pull request, #29764:
URL: https://github.com/apache/doris/pull/29764
## Proposed changes
A tool to pick pr from one branch to another.
```
usage: tools/pick_pr.sh <branch_from> <branch_to> <git_push_remote>
<pr_number>
branch_from/to syntax: local_git_remote_name/branch_name eg:
upstream/master upstream/branch-2.0
git_push_remote syntax: local_git_remote_name eg: origin
your_name
use 'git remote -v' to get list of local_git_remote_name
NOTICE: This script depends on github cli tool 'gh', which can be get
from https://cli.github.com/
You need to login using 'gh auth login'. It will ask your
github token, which can be generated at https://github.com/settings/tokens
```
## Further comments
If this is a relatively large or complex change, kick off the discussion at
[[email protected]](mailto:[email protected]) by explaining why you
chose the solution you did and what alternatives you considered, etc...
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
