53a7f852fe
ci: reword cherry-picker comment ( #9192 )
2020-11-13 17:14:47 -05:00
81e0596748
ci: cherry-pick port-merge comment
2020-11-06 18:06:52 -05:00
93645e7a2d
fix command in cherry-picker script ( #8738 )
2020-09-23 09:59:17 -04:00
6b05ecf488
cherrypick docs to latest release branch ( #8719 )
2020-09-21 17:31:21 -04:00
6cf07d1b2b
remove set -e for cherry-pick script since we collect errors ( #8177 )
2020-06-23 18:37:20 -04:00
6a721418c1
Add GitHub Notifications for cherry picks ( #8115 )
...
* add github PR notification for backport cherry picks
* count number of backport failures and exit after looping through all of them
2020-06-16 14:18:53 -04:00
d82671b246
re-enable auto cherry-picking after website launch ( #7897 )
...
* re-enable auto cherry-picking after website launch
* change to regex since we renamed docs-cherrypick to type/docs-cherrypick
2020-05-14 16:53:51 -04:00
a84ab2333f
disable stable-website auto cherry-pick until replatform is merged into stable-website ( #7726 )
2020-04-28 17:01:51 -04:00
ce81e026de
add ssh package and push to branch before notifying ( #7517 )
2020-03-26 15:23:31 -04:00
7d491bb1b0
ci: Move shebang to first line of cherry pick script
...
Also ran shellcheck against the script and fixed the other errors
2020-03-25 11:57:56 -04:00
f91ab0ccb7
ci: support cherry-picking of merge PRs
...
This change assumes that it is always safe to use the first commit
parent as the mainline. I believe this assumption is safe with a
github merge workflow.
2020-03-18 12:38:04 -04:00
3e0ecc096c
cherry pick 'docs-cherrypick' label rather than 'docs' to stable-website ( #7443 )
2020-03-12 13:22:51 -04:00
2622f2644a
add Authorization header in GitHub API call ( #7436 )
2020-03-11 13:25:15 -04:00
bd951c7023
set pr_url outside if ( #7424 )
2020-03-10 12:31:58 -04:00
740bee5928
add slack notifications for cherry-pick ( #7423 )
2020-03-10 11:47:23 -04:00
c2b5edf805
add auto cherry-picking ( #7406 )
...
* add auto cherry-picking
* exit on git cherry-pick failure
* release branches are #.#.x
2020-03-06 17:59:14 -05:00
Mike Morris