Merge pull request #3294 from bluca/stalebot

Problem: stale bot didn't parse labels correctly

.github/stale.yml

@@ -4,9 +4,9 @@ daysUntilStale: 365
 daysUntilClose: 56
 # Issues with these labels will never be considered stale
 exemptLabels:
-  - Help%20Request
-  - Feature%20Request
-  - Problem%20reproduced
+  - "Help Request"
+  - "Feature Request"
+  - "Problem reproduced"
   - Critical
 # Label to use when marking an issue as stale
 staleLabel: stale