2 commits

Author	SHA1	Message	Date
João Duarte	4919286e42	rename references of master branch to main branch (#13301)	2021-11-08 10:23:46 +00:00
Andres Rodriguez	ecbad2a230	Add devtools to ease auto-creation of new PRs and Backport PRs (#12290) ... Add devtools: backport and create_pr Adds two scripts to help developers automatically create a PR: * backport: Allows back porting commits to any other branch. It uses cherry-pick. * create_pr: Automatically creates a PR from your local branch.	2020-10-08 11:54:11 -04:00