gh-mrva/README.org

• Using MRVA
  • Set up controller repo
    • Use the codeql extension to run MRVA

Using MRVA

This repository has several additions to illustrate a full MRVA workflow.

Set up controller repo

Following the instructions, start with manually creating the controller repository

  gh repo create mirva-controller --public -d 'Controller for MRVA'

This avoids

  An error occurred while setting up the controller repository: Controller
  repository "hohn/mirva-controller" not found.

Populate the controller repository

  mkdir -p ~/local/mirva-controller && cd ~/local/mirva-controller 
  echo "* mirva-controller" >> README.org
  git init
  git add README.org
  git commit -m "first commit"
  git branch -M master
  git remote add origin git@github.com:hohn/mirva-controller.git
  git push -u origin master

This avoids

  Variant analysis failed because the controller repository hohn/mirva-controller
  does not have a branch 'master'. Please create a 'master' branch by clicking here
  and re-run the variant analysis query.

Use the codeql extension to run MRVA

Following the instructions and running ./FlatBuffersFunc.ql, the entry google/flatbuffers has one result. Others have none.