revision: priority queue for streaming walks + walk_ops vtable#2118

spkrka wants to merge 4 commits into

gitgitgadget:mastergitgitgadget/git:masterfrom

spkrka:revision-walk-opsspkrka/gitgitgadget-git:revision-walk-opsCopy head branch name to clipboard