7 Commits (521f41fc10999a2c0538dba6407de3661f5f7dd9)

Author	SHA1	Message	Date
Charles Pigott	13e1b13a4e	Fix: [Actions] Call apt-get update before trying to install packages	2020-10-10 15:02:06 +01:00
Charles Pigott	2073c8d67f	Add: [Actions] Add problem matchers for CI platforms	2020-10-10 15:02:06 +01:00
glx	5af98c69e6	Add: [Actions] CI build workflow	2020-10-03 16:17:11 +01:00
glx	fb3de33a38	Add: [Actions] commit-checker workflow	2020-01-19 09:05:20 +00:00
Roger	1be42c6cb8	Add: [GitHub] sponsor button on github.com (#7700)	2019-08-31 21:20:24 +02:00
PeterN	498ca6e4eb	Add: [GitHub] Add issue template to encourage better issue reporting. (#7137)	2019-01-29 18:15:54 +01:00
Patric Stout	564077719a	Add: [GitHub] enable probot/stale, to flush out stale issues/pull requests ... Stale bot checks if an issue hasn't had any attention in the last 60 days, or if a pull request hasn't had any attention in the last 30 days. If so, it marks it as stale. After 7 more days, it closes the issue/pull request. Any activity on the issue/pull request resets the timer. This helps keeping the counter low, and the work manageable. There is a lot of reasoning behind this idea, and other projects show it really helps to keep the issue/pull request count low. More information here: https://github.com/probot/stale	2019-01-24 21:57:06 +01:00