On Monday, May 18, 2015 at 5:58:47 AM UTC-4, Konstantin Khomoutov wrote:
On Sun, 17 May 2015 17:31:03 -0400
wor...@alum.mit.edu javascript: (Dale R. Worley) wrote:
John Bleichert jblei...@gmail.com javascript: writes:
snip
Basically, that's what
git remote -v show remote
Konstantin Khomoutov flatw...@users.sourceforge.net writes:
My problem is, that I can not see possibility to checkout files from
another branch, based on a filelist from a text file.
Once you have a text file with the list of file names,
just do
$ git checkout dev
$ while read fname;
On Sun, 17 May 2015 23:59:23 -0700 (PDT)
Konrád Lőrinczi klorin...@gmail.com wrote:
[...]
I can imagine a solution:
Checkout files listed in diff_dev+local-dev_files.txt from
local_dev to dev branch.
This way I could stash them, and commit by selected groups.
My problem is, that I can not
On Sun, 17 May 2015 17:31:03 -0400
wor...@alum.mit.edu (Dale R. Worley) wrote:
John Bleichert jbleich...@gmail.com writes:
I understand that the underlying git principle is that everything
is local. Is there really no way to compare local to remote?
Alternatively, should I be branching