commit e37f5a470699d1a8a428c79ab9d96e5f3f50cf3e
author Jan Piotrowski <piotrowski+git@gmail.com> Wed Jul 17 13:06:53 2019 +0200
committer GitHub <noreply@github.com> Wed Jul 17 13:06:53 2019 +0200
tree 551b7e7ea7542114a9ea35ff4a470099ee60e40e
parent 78dbf2386869a3fe1033fa8713c7ff001c7f46d2

Add information about has-pr and has-repro

github-labels.md

diff --git a/github-labels.md b/github-labels.md
index e44eaa6..4aaa006 100644
--- a/github-labels.md
+++ b/github-labels.md
@@ -43,6 +43,14 @@
 - ![#fef2c0](https://placehold.it/20/fef2c0/000000?text=+) `platform: browser`
 - ![#d4c5f9](https://placehold.it/20/d4c5f9/000000?text=+) `platform: windows`
 
+#### `has-*` 
+
+To contributors some questions are very important even before opening an issue: Does it have a reproduction project? Does it already have a Pull Request that claims to solve the problem? To signify this, we use `has-*` labels:
+
+- ![#5319e7](https://placehold.it/20/5319e7/000000?text=+) `has-pr`
+- ![#5319e7](https://placehold.it/20/5319e7/000000?text=+) `has-repro`
+
+
 <!--
 ### Possible future labels