Skip to content

Rename GitHub handle - #77

Merged
andrew-aiken merged 1 commit into
mainfrom
update-github-handle
Aug 17, 2026
Merged

Rename GitHub handle#77
andrew-aiken merged 1 commit into
mainfrom
update-github-handle

Rename GitHub handle

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

Annotations

1 warning
build
succeeded Aug 17, 2026 in 26s