4704c3b7f9
Provides a VSCode task to push the develop branch to both GitHub and Gitea with a single command.
15 lines
424 B
JSON
15 lines
424 B
JSON
{
|
|
// VSCode tasks for this repo.
|
|
"version": "2.0.0",
|
|
"tasks": [
|
|
{
|
|
"label": "git push (github + gitea)",
|
|
"type": "shell",
|
|
"command": "git push github develop && git push gitea develop",
|
|
"options": { "cwd": "${workspaceFolder}" },
|
|
"presentation": { "reveal": "never", "focus": false, "panel": "shared", "showReuseMessage": false, "close": true },
|
|
"problemMatcher": []
|
|
}
|
|
]
|
|
}
|