Misc: Add script for calculating totals for a MRVA run #18449
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Use this script if you want to quickly calculate the totals of some query across all the queries in a MRVA run.
For an example of such a query, see e.g.
python/ql/src/Metrics/Internal/TypeAnnotations.ql
The script expects the query to produce an output table of the form
where all of the
values
are numbers. For each(message, header)
pair, it then calculates the total of all the values in that cell, across all of the repos in the MRVA run.To use the script, simply pass it the URL of the exported Gist of the MRVA run. After calculating the totals, the script will then (optionally, but by default) add the totals to the
_summary.md
file, and push these changes to the Gist.Pull Request checklist
All query authors
.qhelp
. See the documentation in this repository.Internal query authors only
.ql
,.qll
, or.qhelp
files. See the documentation (internal access required).