Before we can push the notes from the shareNotes repository, we have to create a note to be pushed, as the notes we have now are all available on the remote repository. The remote repository in this case is the jgit directory:
Step 1 : You have found a commit you would like to add a note to, and you want to add the note to the verified reference:
Step 2 : Now that we have added the note, we can list it with the git log command:
Step 3 : To push the note, we must use the git push command, because the default push rule in Git is to push branches to refs/heads/<branchname>.
Step 4 : To push these notes, we need to push our note references to the remote notes, references. This can be done as follows:
Step 5 : Now, something happened; we have a new branch on the remote named refs/notes/verified. This is because we have pushed the notes to the remote. What we can do in order to verify it is go to the jgit directory and check whether the 871ee53b52a commit has a Git note:
We can see the note in this directory.