Update ReleaseNotes: fetch/push in git-gui works