diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 00000000..809e8d1c --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,14 @@ +{ + // 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": [] + } + ] +}