diff options
| -rw-r--r-- | INTERESTING_PROJECTS.org | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org index bd0c7bfd..ab97dc86 100644 --- a/INTERESTING_PROJECTS.org +++ b/INTERESTING_PROJECTS.org @@ -14,6 +14,7 @@ See also [[TOOLS.org][tools I use]]. - https://mergiraf.org/ - Language-aware merge conflict solver - https://forge.rust-lang.org/triagebot/range-diff.html show diffs after rewriting history - https://github.com/antonmedv/gitmal - "web repo browsing" as static site generator + - https://opendev.org/opendev an OSS-based full infra setup- both service and blueprint *** 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 |