revision: use priority queue for streaming walks#2127

spkrka wants to merge 3 commits into

gitgitgadget:mastergitgitgadget/git:masterfrom

spkrka:streaming-prio-queuespkrka/gitgitgadget-git:streaming-prio-queueCopy head branch name to clipboard