So far, we have been creating notes in our own local repository, which is fine. But if we want to share those notes, we have to be sure to be able to push them. We would also like to be able to retrieve other people's notes from the remote repository. Unfortunately, this is not so simple.
Retrieving notes from the remote repository
Getting ready
Before we can start, we need another clone from the local clone we already have. This is to show the push and fetch mechanism of Git with git notes:
- Start by checking out the master branch:
$ git checkout master Checking out files: 100% (1529/1529), done. Switched to branch 'master' Your branch is up-to-date with 'origin/master'.
- Now, create a local branch...