Skip to content

Ask for person GitHub usernames - #78

Merged
fingolfin merged 3 commits into
gap-packages:masterfrom
lgoettgens:lg/githubusername
Aug 16, 2026
Merged

Ask for person GitHub usernames#78
fingolfin merged 3 commits into
gap-packages:masterfrom
lgoettgens:lg/githubusername

Validate GitHub usernames by allowlist

ef3c479
Select commit
Loading
Failed to load commit list.
Sign in for the full log view