This repository was archived by the owner on Dec 15, 2022. It is now read-only.
This repository was archived by the owner on Dec 15, 2022. It is now read-only.
Pull request tabs' titles have selectable text #1873
Breaks the feeling of them being buttons.
cc @robertrossmann from #1870 (comment)