This blog is intended to talk about technology such as my technical experience, those things that I work that I would like to remember related to stuff I learn, or things I fixed, or tools I'm using...
git fetch origin git reset --hard origin/master
git branch -m new-name
dev.to → URI
dev.to with protocol (https, ftp) → URL
Is this right ?
dev.to is not a URI, it is just a domain name.
URI's must start with a scheme (e.g. file, http, ftp) as specified in section 1.1.1 of the RFC you linked to.
A scheme may or may not be associated with a protocol which is where your confustion may be coming from. For instance the schemes 'http' and 'ftp' are clearly associated with the HTTP and FTP protocols, whereas the 'file' scheme is not associated with any protocol.
Undo git add
git add before a commit:
git reset <file> or
git reset to unstage all changes.
In older versions of git, the commands were
git reset HEAD <file> and
git reset HEAD respectively. This was changed in Git 1.8.2