GitHub

by

Updated: 12 November 2026

Spin up a temporary interactive shell containing the GitHub CLI gh

nix-shell -p gh

Start interactive setup

gh auth login

Search for open issues across two GitHub organisations. Max num results = 1000.
Try created:<=yyyy-mm-dd and created:>=yyyy-mm-dd for smaller chunks.

gh search issues \
--limit 1000 --state=open --label 'help wanted' \
--owner leanprover-community --owner leanprover \
--json repository,title,url,labels |
jq '.' > ~/Desktop/lean-issues.json

Leave a comment