Add fancy GitHub PR picker (thanks @maaslalani)

Christian Rochacommitted parent 61da3b6db324d9a8de5b9a2d6f7552a98af3f3c0446012cBrowse files
2 files changed+3−1

Rendering diff…