3 ms·Cool :) Also -- this has the benefit of showing PRs that haven't been merged yet.by shakedown 10y agoCool :) Also -- this has the benefit of showing PRs that haven't been merged yet.