an alias to fetch and push git-notes