update GitHub.dev to VSCode.dev/GitHub - #57

update GitHub.dev to VSCode.dev/GitHub#57

StevenClontz merged 2 commits into

maincode4mathorg/github-for-mathematicians:mainfrom

StevenClontz/20260623/vscodedevcode4mathorg/github-for-mathematicians:StevenClontz/20260623/vscodedevCopy head branch name to clipboard