Merge branch 'main' into status_reports_v2

github · Jul 27, 2020 · ae2d7af · ae2d7af
2 parents 87758a1 + 12a3723
commit ae2d7af
Showing 11 changed files with 243 additions and 214 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -1,4 +1,4 @@
-## Contributing
+# Contributing
 
 [fork]: https://github.com/github/codeql-action/fork
 [pr]: https://github.com/github/codeql-action/compare
@@ -37,6 +37,7 @@ As well as the unit tests (see _Common tasks_ above), there are integration test
 3. Make your change, add tests, and make sure the tests still pass
 4. Push to your fork and [submit a pull request][pr]
 5. Pat yourself on the back and wait for your pull request to be reviewed and merged.
+
 If you're a GitHub staff member, you can merge your own PR once it's approved; for external contributors, GitHub staff will merge your PR once it's approved.
 
 Here are a few things you can do that will increase the likelihood of your pull request being accepted:

diff --git a/lib/fingerprints.js b/lib/fingerprints.js
diff --git a/lib/fingerprints.js.map b/lib/fingerprints.js.map
diff --git a/node_modules/lodash/README.md b/node_modules/lodash/README.md