4704c3b7f9
Provides a VSCode task to push the develop branch to both GitHub and Gitea with a single command.
Provides a VSCode task to push the develop branch to both GitHub and Gitea with a single command.