doc: Import "ESLint servers" page from private wiki

Imported from <https://github.com/jquery/infrastructure/wiki/>, sans private details.
jquery · Feb 17, 2024 · d462886 · d462886
1 parent 19870a8
commit d462886
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/doc/eslint.md b/doc/eslint.md
@@ -0,0 +1,15 @@
+# ESLint servers
+
+## Contact
+
+* Nicholas Zakas (https://humanwhocodes.com/, https://fosstodon.org/@nzakas, https://github.com/nzakas)
+
+## Hosts
+
+* eslint-03 (Nov 2023): Jenkins server for ESLint project, <https://jenkins2.eslint.org/>.
+* eslint-dokku (Feb 2021): GitHub bot for ESLint repositories.
+
+Former servers:
+
+* eslint-02 (Jul 2016 - Feb 2024): Jenkins server for ESLint project.
+* eslint-01 (Apr 2016 - April 2023).