Netid to GitHub mapping and scripting

[eddelbuettel]

A 'nice to have' feature request for scripted ways to assess if a given student (identified by netid) has

• signed into GitHub via SSO
• signed off any heads-ups re emails or not
• a valid GitHub id, and which it is (to facilitate further scripted access for group project repos etc)

[trombonekenny]

Hi Dirk, we have this script now to see organization membership SSO identities: https://github.com/uillinois-community/user-provisioning/blob/main/ssoUsernameByOrg.py The data from that script could be used to power the other outcomes you listed?

[eddelbuettel]

Music to my ears.

(BTW I would have missed this had I not spotted this randomly in its email sibbling in my tail -F of the mail filter log. Given the extra tedium of signing into this org, I usually (outside of teaching term) do not. What else have I missed?)

[eddelbuettel]

BTW I have a local R variant, written mostly to prove to myself that the R binding for GraphQL worked. Happy to push it, or keep it local, ...

[jtgorman]

I'd say share it if you don't mind. Easiest way might be as a link to the repo, or a gist. We can figure out something if you think it might be useful as a separate repo or something

[eddelbuettel]

Easiest (to me) is PR.