Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-10-10 | Fix: [Actions] Call apt-get update before trying to install packages | Charles Pigott | |
2020-10-10 | Add: [Actions] Add problem matchers for CI platforms | Charles Pigott | |
2020-10-03 | Add: [Actions] CI build workflow | glx | |
2020-01-19 | Add: [Actions] commit-checker workflow | glx | |
2019-08-31 | Add: [GitHub] sponsor button on github.com (#7700) | Roger | |
2019-01-29 | Add: [GitHub] Add issue template to encourage better issue reporting. (#7137) | PeterN | |
2019-01-24 | Add: [GitHub] enable probot/stale, to flush out stale issues/pull requests | Patric Stout | |
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 |