[Do Not Merge] Testing CI: Verify commits in beta are in stable.#87597

Closed

yaymukund wants to merge 9 commits intorust-lang:stablefrom

yaymukund:test-verify-beta-stable-backports

Commits on Aug 19, 2021

Split critical edge targeting the start block

tmiasko
authored and
Mukund Lakshman
committed

Commits on Aug 20, 2021

CI: Verify commits in beta & stable are in upstream branches.
Mukund Lakshman
committed
Add cherry-pick.sh convenience script.
Mukund Lakshman
committed
Add support for including non-backport commits.
Mukund Lakshman
committed
Here is a commit we forgot to mark.
Mukund Lakshman
committed
A commit that backport nothing.
Mukund Lakshman
committed
A commit that backports a sha that isn't on a branch.
Mukund Lakshman
committed
A commit with multiple backport-of annotations (the first succeeds).
Mukund Lakshman
committed
Don't put hermit mutexes in a box.

mkroening
authored and
Mukund Lakshman
committed