You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Create an empty repo gitmastery-things in the user's GitHub account (gh repo create --public gitmastery-things)
Add the empty remote repo as a remote named origin to the local repo
Instructions for students
You may continue with the sandbox used in the previous practical, or run gitmastery download hp-populate-remote to create a fresh sandbox for this practical.
Requires remote repository?
No
Additional remarks
Is it even possible to create an empty remote repo using GitHub CLI?
What to do if the user already has a remote repo with the same name? Ask user whether to reuse/reset it or create a new one with another name? e.g, things2