Add a 'random' option to select N random commits out of the last 100*N - #2583

Add a 'random' option to select N random commits out of the last 100*N#2583

gvanrossum merged 3 commits into

masterpython/mypy:masterfrom

random-incremental-checkerpython/mypy:random-incremental-checkerCopy head branch name to clipboard