w0rp 82c8e3a3a3 Remove last traces of Travis CI ... * The build status badge is now for GitHub Actions. * The documentation now mentions GitHub instead. * Warnings in the YAML file have been fixed or ignored.		2021-01-27 20:11:46 +00:00
..
ISSUE_TEMPLATE	Add default labels to issue templates	2020-02-22 10:26:03 +00:00
workflows	Remove last traces of Travis CI	2021-01-27 20:11:46 +00:00
CODE_OF_CONDUCT.md	Move GitHub files to the .github directory	2018-07-22 12:10:35 +01:00
CONTRIBUTING.md	contrib: Fix link to ale-development.txt	2018-08-01 18:13:07 +00:00
PULL_REQUEST_TEMPLATE.md	Add briefer help tags for ALE development documentation	2019-01-08 14:40:26 +00:00
stale.yml	Tell stale bot to wait longer before closing PRs	2020-08-17 10:20:41 +01:00