ci: merge main to release (#7671)

ci: merge main to release
This commit is contained in:
Robert Sparks 2024-07-10 18:28:25 -05:00 committed by GitHub
commit 51ec6c693a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -290,6 +290,7 @@ npm run install-deps
npm run test:legacy
```
### Diff Tool
To compare 2 different datatracker instances and look for diff, read the [diff tool instructions](dev/diff).