12 Commits

Author	SHA1	Message	Date
Julian Oes	fa9ac6ecf6	github: tone stalebot down ... My suggestion is to re-configure stale bot so it just adds the label stale but does not close the issue/PR. This enables us to look for outdated issues using the stale label and close them. This brings these advantages: - No more endless re-opening of PRs and issues which is not fun (and I will eventually give up on). - Less stalebot comment noise. (Because it is handy to look for all issues/PRs without any comments to see what is unanswered). - I'm not listed as "participating" in all the issues/PRs just because I was just fighting the stalebot. - Less notifications meaning we can see anything in the noise.	2019-10-01 10:35:28 -04:00
Daniel Agar	6277710fac	Github actions simple cpp build	2019-09-10 17:07:51 -04:00
Daniel Agar	939413fa06	Probot attempt to fix configuration (#11243)	2019-01-19 14:13:58 -05:00
Daniel Agar	181b2f69ed	Github templates add support question and documentation issue (#10613)	2018-10-01 09:44:19 -04:00
Hamish Willee	309b5bae98	Fix link to flight reporting page (#9541) ... * Fix link to flight reporting page	2018-05-28 09:21:49 +02:00
Hamish Willee	92d4a54012	Delete old issue template	2018-05-28 08:38:12 +02:00
Hamish Willee	1c5c3232fd	Fix link to slack (Broken)	2018-05-28 08:37:43 +02:00
Lorenz Meier	fdfa764913	Update feature_request.md	2018-05-27 12:06:58 +02:00
Lorenz Meier	ab7442093a	Update bug_report.md	2018-05-27 12:06:58 +02:00
Daniel Agar	65c8142c59	[WIP] Update issue templates ... These are the default github examples and need to be customized. https://blog.github.com/2018-05-02-issue-template-improvements/	2018-05-27 12:06:58 +02:00
Daniel Agar	10cc827ce1	initial probot stale configuration (#9508)	2018-05-22 16:18:49 -04:00
Daniel Agar	6ae2d22b9a	WIP: github issue template (#7701) ... * WIP: github issue template * Update issue_template.md	2017-07-30 19:16:49 +02:00