Subject: [DISCUSS] [Github Issues] Issue and Pull Request labels

Labels that I would like to have:

- something to show that you are open to suggestions or want to work out
how something is supposed to work. Could be "discussion"
- A "Work in Progress" label

I would have tried to just write a script that creates the labels via GH
API. But do we have the necessary permissions to do so?

Jan Piotrowski <[EMAIL PROTECTED]> schrieb am Do., 9. Aug. 2018, 23:07: