+ [2019-11-15T17:10:36Z] lmat Would 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^2 before 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^2 thought not. thanks tang^

message no. 175854

Posted by lmat in #github at 2019-11-15T17:05:11Z

looks like core.sshCommand is what I want.
+ [2019-11-16T14:22:33Z] Josse Hi 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] Josse I'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] Josse Is 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] nedbat Josse: why not make them one git repo on your computer?
+ [2019-11-16T14:38:15Z] Josse nedbat: 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