Don't query GitHub username and use dummy credentials when committing#1305

Merged

staticfloat merged 1 commit intoJuliaPackaging:masterfrom andreasnoack:an/noghusername

Nov 27, 2023

+4-6

Commits on Nov 21, 2023

Don't fetch GitHub username for authentication
andreasnoack
committed