/dev/null
/pulls
About the projectdev-null-sh/dev-null.sh

Open pull requests

000 open · 0 excluded by author · 0 drafts hidden · 000 in the pool
000Pull requests
000Merged
000Closed without merging
Synced 0m ago
No PR picked yet
#—
Pool size 000
Pool000

Update available

Reload to start using it

What's new

Recent activity

Keyboard shortcuts

Run the picker without touching the mouse.

Picking

  • Pick a random PRSpace
  • Open the pick on GitHubO

The pool

  • Previous / next type[]
  • Previous / next CI status⇧[]
  • Previous / next sort,.
  • Clear filtersX
  • Sort menuS
  • CI menuI
  • Conflicts menuK
  • Ready to merge on / offG
  • Search authors/
  • RefreshR
  • Reload everything⇧R

Tagging the pick

  • MergedM
  • ClosedC
  • On holdH
  • Remove tagU

General

  • Dark / light modeD
  • Copy a link to this viewL
  • Show shortcuts?
  • Close / leave searchEsc