tools for extracting lists of issues and PRs from github repos

github has a rest api and there's various open source tools/scripts 'out
there' for extracting lists of issues and PRs from github repos.  I used a
couple hacked-up python ones when we initially migrated FIDO2 web authn
specs to W3C's webauthn  repo (and I "lost" them when I "left" PP)

So I cast about and found this:  https://hub.github.com/
<https://hub.github.com/> which I've installed on linux and it seems to
work pretty well (an example below).   there's likely various approaches to
install it on Windows.  Tho, there's a Microsoft-driven FOSS github tool
for powershell: https://github.com/Microsoft/PowerShellForGitHub

see here for lotsa other options:
https://www.google.com/search?q=github+issues+tools+scripts

HTH,

=JeffH

*installing "hub" on *nix:*

I didn't have  GOPATH explicitly set, it seems the std go install doesnt
set it and go defaults it to $HOME/go, but since the below commands depend
on $GOPATH explicitly existing, I did a (in bash):

export GOPATH=$HOME/go

..then followed the instructions here https://github.com/github/hub#source
and it installed fine, except that /usr/local is only root-writeable and so
created $HOME/bin, and changed the `prefix` on the final line of the below
to use `$HOME`:

mkdir -p "$GOPATH"/src/github.com/github

git clone \

 --config transfer.fsckobjects=false \

 --config receive.fsckobjects=false \

 --config fetch.fsckobjects=false \

 https://github.com/github/hub.git "$GOPATH"/src/github.com/github/hub

cd "$GOPATH"/src/github.com/github/hub

make install prefix=$HOME

*** this installed hub in $HOME/bin


*Creating custom "hub" shell command:*

*in bash:*

$ lsissues () { echo ; hub issue -f "%i %t%n  %U%n%n" "$@" | tee
~/tmp/_hub_tmp_output ; echo -n "Issues count: " ; cat
~/tmp/_hub_tmp_output | grep -Ec "^#" ; echo ; }

$ lsissues -M 7    //extract milestone numeric ID from github URLs in
browser or the repo's milestones page

#1198 Underspecified RP ID length
  https://github.com/w3c/webauthn/issues/1198

#1194 Rearrange terminology aliases so the first one reflects sort order
  https://github.com/w3c/webauthn/issues/1194

#1166 Clarify the name `AuthenticationExtensions...`
  https://github.com/w3c/webauthn/issues/1166

#1149 Add notion of forbidding resident credential creation
  https://github.com/w3c/webauthn/issues/1149

#1147 add notion of "enterprise" attestation
  https://github.com/w3c/webauthn/issues/1147

#1122 spec is missing baseline posture that credential source is bound to a
particular authenticator
  https://github.com/w3c/webauthn/issues/1122

#1099 enrichen registration and authentication ceremonies definitions
  https://github.com/w3c/webauthn/issues/1099

#1088 Leap of Faith not only for Self and None Attestation Types
  https://github.com/w3c/webauthn/issues/1088

#1060 No way to verify requireResidentKey during registration step at RP
side
  https://github.com/w3c/webauthn/issues/1060

#1004 `publicKey` member name in `CredentialCreationRequestOptions` should
be `"public-key"`, or vice-versa?
  https://github.com/w3c/webauthn/issues/1004

#996 coalesce HTML references?
  https://github.com/w3c/webauthn/issues/996

#991 Indicate resident key credential "preferred" during registration and
find out what the authenticator offered
  https://github.com/w3c/webauthn/issues/991

#973 truncation to 64-byte upper limit doesn't mention character boundaries
  https://github.com/w3c/webauthn/issues/973

#911 Integrate with Feature Policy or Permissions and define appropriate
identifier value for WebAuthn
  https://github.com/w3c/webauthn/issues/911

#872 cleanup: mark & structure biblio references consistently
  https://github.com/w3c/webauthn/issues/872

#863 Authenticators that do not recognize any handles shouldn't just be
dropped on the floor
  https://github.com/w3c/webauthn/issues/863

#704 choose consistent section id prefix
  https://github.com/w3c/webauthn/issues/704

#462 undefined terms and terms we really ought to define
  https://github.com/w3c/webauthn/issues/462

#358 Eliminate duplicate terminology
  https://github.com/w3c/webauthn/issues/358

#245 remove "required" on ScopedCredentialDescriptor.id
  https://github.com/w3c/webauthn/issues/245

Issues count: 20

*// my open issues....*

$ lsissues -M 7 -a equalsJeffH

#1166 Clarify the name `AuthenticationExtensions...`
  https://github.com/w3c/webauthn/issues/1166

#1149 Add notion of forbidding resident credential creation
  https://github.com/w3c/webauthn/issues/1149

#1122 spec is missing baseline posture that credential source is bound to a
particular authenticator
  https://github.com/w3c/webauthn/issues/1122

#1099 enrichen registration and authentication ceremonies definitions
  https://github.com/w3c/webauthn/issues/1099

#1060 No way to verify requireResidentKey during registration step at RP
side
  https://github.com/w3c/webauthn/issues/1060

#1004 `publicKey` member name in `CredentialCreationRequestOptions` should
be `"public-key"`, or vice-versa?
  https://github.com/w3c/webauthn/issues/1004

#996 coalesce HTML references?
  https://github.com/w3c/webauthn/issues/996

#991 Indicate resident key credential "preferred" during registration and
find out what the authenticator offered
  https://github.com/w3c/webauthn/issues/991

#973 truncation to 64-byte upper limit doesn't mention character boundaries
  https://github.com/w3c/webauthn/issues/973

#911 Integrate with Feature Policy or Permissions and define appropriate
identifier value for WebAuthn
  https://github.com/w3c/webauthn/issues/911

#872 cleanup: mark & structure biblio references consistently
  https://github.com/w3c/webauthn/issues/872

#704 choose consistent section id prefix
  https://github.com/w3c/webauthn/issues/704

#462 undefined terms and terms we really ought to define
  https://github.com/w3c/webauthn/issues/462

#358 Eliminate duplicate terminology
  https://github.com/w3c/webauthn/issues/358

#245 remove "required" on ScopedCredentialDescriptor.id
  https://github.com/w3c/webauthn/issues/245

Issues count: 15

// getting help on available hub switches and commands:

$ hub help

$ hub help issue

$ hub help pr

//etc

end