Six on Nostr: have you considered 'git pull' and 'git commit' and 'git push' instead?have you considered 'git pull' and 'git commit' and 'git push' instead?