Daniel Nephin 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
..
scripts	ci: support cherry-picking of merge PRs	2020-03-18 12:38:04 -04:00
bash_env.sh	Pass the git commits year through as an env var to the ui build (#7126)	2020-01-24 10:40:14 -05:00
config.yml	ci: Remove restore_cache	2020-03-11 15:50:42 -04:00