This is an unofficial tool and is not officially supported by GitHub.

A configuration file will be created in ~/.config/gh-mrva/config.yml. The following options are supported:

• codeql_path: Path to CodeQL distribution (checkout of codeql repo)
• controller: NWO of the MRVA controller to use
• list_file: Path to the JSON file containing the target repos

gh mrva submit [--codeql-path<path to CodeQL repo>] [--controller <controller>] --language <language> --session <session name> [--list-file <list file>] --list <list> [--query <query> | --query-suite <query suite> ]

Note: codeql-dist, controller and list-file are only optionals if defined in the configuration file

gh mrva download --session <session name> --output-dir <output directory> [--download-dbs] [--nwo <owner/repo>]

gh mrva list [--json]

gh mrva status --session <session name> [--json]

gh-mrva is a work in progress. If you have ideas for new fixes or improvements, please open an issue or pull request.

If possible, tests should be added for any new fixes. We favour testing with real file systems or processes where possible.

Releasing is currently done via tags. To release a new version, create a new tag and push it to the remote. The release workflow will automatically build and publish the new version.

e.g.

# Determine the latest tag
git tag -l | sort -V | tail -n 1

# Create a new tag
git tag -a v0.0.2 -m "Release v0.0.2"

# Push the tag to the remote
git push origin --tags