A useful script to work offline, in the train, to run in a local git clone of the target repository :

gh issue list --json number --jq .[].number | while read nb; do
    gh issue view $nb > $nb.md
    gh issue view $nb --comments >> $nb.md
done

... and the standard UNIX tool zipinfo cannot display them !

So here is Python one-liner to extract them, and other useful meta informations:

python -c "import json, sys, zipfile; json.dump([{k: str(getattr(i, k)) for k in zipfile.ZipInfo.__slots__} for i in zipfile.ZipFile(sys.argv[1]).infolist …

C'était la prise de conscience rigolote de ce matin :)

Petite explication: plusieurs des services web de géolocalisation gracieusement fournis par Google utilisent la même interface (API). Cette interface requiert de définir une "zone de travail" géographique dans laquelle on va ensuite pouvoir interroger Google sur des adresses, des itinéraries, etc …