If someone doesn't want to use auto git push, they can push notes to GitHub themselves easily with this new push command.
I found myself, without wanting to use auto git push, pushing notes manually, therefore I believe adding a separate push command one people can use whenever is useful.
If someone doesn't want to use auto git push, they can push notes to GitHub themselves easily with this new push command.
I found myself, without wanting to use auto git push, pushing notes manually, therefore I believe adding a separate push command one people can use whenever is useful.