Merge remote-tracking branch 'origin/main' into github_proxy

This commit is contained in:
Robert Brignull 2020-07-09 16:37:52 +01:00
commit b6efd2e6de

View file

@ -10,4 +10,5 @@ queries:
- uses: security-extended
- uses: security-and-quality
paths-ignore:
- tests
- tests
- lib