summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Corcoles <alex@pdp7.net>2023-10-17 12:04:27 +0200
committerGitHub <noreply@github.com>2023-10-17 12:04:27 +0200
commit2559e27ab2a43d0a9b97f279480e6ac6112d19f7 (patch)
tree06c4455b4fa8fa1a191a77704d99e585201114ac
parentcbe7f8d0a786c7d88072c0fa3b04cac26b8bd63a (diff)
Add Reviewdog
-rw-r--r--INTERESTING_PROJECTS.org1
1 files changed, 1 insertions, 0 deletions
diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org
index 5a83c105..3d3597d8 100644
--- a/INTERESTING_PROJECTS.org
+++ b/INTERESTING_PROJECTS.org
@@ -42,6 +42,7 @@ Also keeping things in a Org mode means I can classify and add notes.
- https://github.com/aarroyoc/djota/tree/main - A Djot parser in Prolog
* CI/CD
- https://github.com/earthly/earthly - Standalone build tool with containers
+ - https://github.com/reviewdog/reviewdog - Error parser than can annotate GitHub pull requests
* Systems
** Identity
*** Keycloak