use_github() - allow repo creation when repo is a redirect#1894
Merged
jennybc merged 2 commits intomainfrom use-github-renamed-repoJul 23, 2024
+9-7
use_github() - allow repo creation when repo is a redirect#1894
