Closed cxzl25 closed 3 months ago
This PR aims to add tips for using merge_orc_pr.py in the document.
merge_orc_pr.py
. /dev/merge_orc_pr.py is a nice script that we can add to the documentation.
. /dev/merge_orc_pr.py
local test
No
What changes were proposed in this pull request?
This PR aims to add tips for using
merge_orc_pr.py
in the document.Why are the changes needed?
. /dev/merge_orc_pr.py
is a nice script that we can add to the documentation.How was this patch tested?
local test
Was this patch authored or co-authored using generative AI tooling?
No