There! Using git remote show
with the short name of the remote, we can see that it points to URLs and that its HEAD
points to master
branch.
Psst: origin
is just a convention, a name that's automatically given to a remote for which we don't specify a name.
Let's not remove the origin
remote at this point, okay?