feat: Default `repo-token` to GitHub token#642

Open

shrink wants to merge 3 commits intoarduino:mainfrom

Commits on Feb 5, 2023

feat: Default `repo-token` to GitHub token
shrink
authored

Commits on Feb 11, 2023

docs: Describe use of `GITHUB_TOKEN` as default `repo-token`
shrink
authored

Commits on Feb 14, 2023

docs: Replace redirecting link with final destination

shrink
and
per1234
authored