GithubNotebookRepo does not sync moved and deleted notes to remote

If you use the plugin GithubNotebookRepo to sync the notes with a remote git repository, moved and deleted notes are not synced.

Observed result:

• Moving a note produces an empty commit
• Deletion of a note produces no commit

Expected result:

• Moving and deletion of notes are synced with the remote repository.