Update references to Travis in docs

2020-06-09 11:32:38 +01:00
parent bcab713a65
commit 2126dfec04
2 changed files with 4 additions and 4 deletions
--- a/contributing-guides/maintainers-guide.md
+++ b/contributing-guides/maintainers-guide.md
@@ -55,7 +55,7 @@ as a guideline for current and future maintainers.
 ## II. Handling PRs

 - PRs should be merged once they
-  (1) **pass the automated tests** (Travis CI, CLA signing, etc.),
+  (1) **pass the automated tests** (GitHub Actions, CLA signing, etc.),
  (2) have the **review comments addressed**, and
  (3) get **approved reviews by two maintainers**
  (the second maintainer can perform the merge immediately after accepting.)