MODELDB CI: GitHub synergy

[alexsavulescu]

We are relying on the ModelDB API to downloads models. However we would be able to leverage better the GH API if models were synced between GH and MDB. What is needed?

• Sync all ModelDB models to Github (via Nof models mismatch between modeldb API and senselab #50)
• Make sure GH and ModelDB are in sync (same content) #71
• CI could rely on Github Repo

[alexsavulescu]

Been playing a bit with the GitHub CLI. Some notes:

• we could add topics to models, i.e.

  gh repo edit ModelDBRepository/194897 --add-topic "neuron"
  

• then getting a list of NEURON models:

  gh repo list modeldbrepository --topic "neuron" --json name -L 2000
  

• It would be convenient to create releases and then we would download with:

  gh release download -R ModelDBRepository/266775 --archive=zip
  

  or simply

  https://github.com/ModelDBRepository/266775/archive/refs/heads/master.zip
  

• getting PRs for ModelDBRepository

  gh repo list ModelDBRepository --json pullRequests --json url -L2000 | jq -r '.[] | select(.pullRequests.totalCount > 0)' | grep url