+[2019-11-15T17:10:36Z]lmatWould have been nice 30 years ago, but we'll take what we can get, eh? +[2019-11-15T17:10:36Z]tang^there are a lot of options for windows now +[2019-11-15T23:20:33Z]r00t^2before i waste time, is it possible to submit a pull request that just adds tags to a project? +[2019-11-15T23:24:50Z]tang^no +[2019-11-15T23:25:30Z]r00t^2thought not. thanks tang^
tang^: do you mean GIT_SSH='/usr/bin/ssh -v' ?
+[2019-11-16T14:22:33Z]JosseHi there, I've got 2 git repositories on my computer that I want to put in one general GitHub repository, each in their separate folder +[2019-11-16T14:23:28Z]JosseI've looked into some methods and submodules seem to be a thing, but I would prefer not to have them stored on my computer twice, and I've not yet found how to do that with submodules or so +[2019-11-16T14:24:03Z]JosseIs there a way to `git push` from the git repository on my computer directly to a folder inside a GitHub repository? +[2019-11-16T14:36:50Z]nedbatJosse: why not make them one git repo on your computer? +[2019-11-16T14:38:15Z]Jossenedbat: It consists of a mobile app made in Flutter, and a web app in React, and I like to keep my folders with web and app development seperated