Luca Boccassi
fd3e5daaeb
Problem: fuzzing Github action ran on pushes on forks and fails
...
Solution: run in on PRs only as oss-fuzz uses Docker so the repository is
hard-coded
2020-05-06 12:39:45 +01:00
Luca Boccassi
9f94aa866f
Problem: oss-fuzz images not tested on PRs
...
Solution: integrate oss-fuzz build via Github actions
2020-05-06 00:36:29 +01:00
Doron Somech
81056a7237
problem: appveyor is very slow
...
Solution: move to github actions
2020-04-20 22:55:28 +03:00
Shubham Lagwankar
475a029514
Problem: PR template is mostly about contributing guidelines
...
Solution: rename it to CONTRIBUTING.md so that it is shown when
creating a pull request or issue
2019-07-26 13:11:52 -04:00
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
