I realize that using labels on pull requests is relatively uncommon, so this mightn't impact that many users.
On the other hand, our project has a pretty rock-solid reason for using labels - we have different kinds of pull requests, with different response requirements. This extends (at least informally) to response time SLAs, and having the label information show up in the summary view would be super useful.
I realize that prepending e.g. [Design Doc] to our PR titles might give us a lo-fi version of this; however doing so doesn't cause the labels to stand out (so you still need to read the title of each PR) and is also basically requiring duplication of effort (as this is basically what labels were designed for).
I realize that using labels on pull requests is relatively uncommon, so this mightn't impact that many users.
On the other hand, our project has a pretty rock-solid reason for using labels - we have different kinds of pull requests, with different response requirements. This extends (at least informally) to response time SLAs, and having the label information show up in the summary view would be super useful.
I realize that prepending e.g. [Design Doc] to our PR titles might give us a lo-fi version of this; however doing so doesn't cause the labels to stand out (so you still need to read the title of each PR) and is also basically requiring duplication of effort (as this is basically what labels were designed for).