Luca Boccassi
1b8a821222
Problem: stale bot label exceptions not correct
...
Solution: quote the labels with a space, upstream documentation
(not displayed on the Github page) suggests this should finally work
2018-11-04 15:50:40 +00:00
Luca Boccassi
ecf1e31db7
Problem: stale issues linger on Github
...
Solution: enable Stable Bot to automatically mark an issue as stale
after 365 days of inactivity and close it after further 56 days.
Issues marked with the following labels are excluded:
- Help Request
- Feature Request
- Problem reproduced
- Critical
2018-11-04 14:18:54 +00:00
Luca Boccassi
1275c96979
Problem: have to ask manually for relicensing grant
...
Solution: add note in PR template
2018-09-29 11:22:03 +01:00
Dale Wijnand
e6dc9605a5
Fix formatting in CONTRIBUTING
...
Avoids the git instructions being all on one line.
2018-04-27 17:57:07 +01:00
Luca Boccassi
c36d8cb8e4
Problem: PR template does not mention clang-format
...
Solution: add paragraph explaining how to run it to make sure code is
correctly formatted.
2018-03-05 22:47:40 +00:00
sigiesec
3f946428ec
Problem: bug reports are often missing relevant information
...
Solution: provide template for bug reports
2017-08-25 13:16:23 +02:00
Luca Boccassi
e6b1f56131
Problem: contributing guidelines unclear for new devs
...
Solution: port Github PR template from CZMQ
2016-12-18 11:46:08 +00:00
