oh god!, nice to see you have spare time philip! :D
2013/6/17 Philip Oakley philipoak...@iee.org
**
*homeomorphic = a one-to-one correspondence, continuous in both
directions, between the points of two geometric figures or between two
topological spaces. So I think that means if my SHA1
use any git workflow
http://git-scm.com/book/en/Distributed-Git-Distributed-Workflows
git is not centralized, so he cant mail you or something like that telling
you to make a pull request.. (in github this is implemented very well)
you have to become an integration manager
2013/6/6 Gergely
2013/5/18 Dale R. Worley wor...@alum.mit.edu
perimenting with using Git as a backup tool (by automatically
snapshotting my home directory), I've generated a long branch which is
a series of commits that record states of my home directory.
Actually, I've got *two* such branches.
It would be
, if that directory is the root directory
(where .git folder is), basically means: add all files modified and
untracked
have fun!
-Joe Cabezas
2013/5/16 John McKown john.archie.mck...@gmail.com
In UNIX commands, the period by itself means the current directory
On May 16, 2013 5:41 PM, Philip
actually what are you trying to do?, the subject says something with stash,
and then you talk about merging... seems like i do not undertand the
problem at all...
maybe when you do a stash pop, you have conflicts?, if so
that is a common problem
when you make a stash, actually records in
in
git... if you found something please post it here, or, if you actually
create a script for this... please make it opensource on github, thank you
:)
2013/2/19 Rainer M Krug r.m.k...@gmail.com
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 19/02/13 15:18, Joe Cabezas wrote:
hello!
maybe
I feel really sorry about this off-topic ,but I loved this message ,thank
you Charles Manning.
JoeCabezas: When my kids started programming, the 1st thing I did with
them was get them to sign up to #github and get into the habit of using
git 3
Original Tweet:
you can use
git push remote branch_local:branch_remote
that push in remote your local branch branch_local into the remote
branch branch_remote
if you want to delete a branch in remote, you can do this:
git push remote : branch_remote
it's like to say: please, copy nothing from my local to
also, the fastest way is to reset --hard to a base commit, create a new
branch and then cherry-pick each commit in the order you want
2012/10/17 Thomas Ferris Nicolaisen tfn...@gmail.com
On Wednesday, October 17, 2012 8:08:47 AM UTC+2, seonguk.baek wrote:
Dear all.
branch : dev01
1 - 2 -
you can edit
/etc/gitconfig
file, you can edit it by addidng --system to the git config command like
this
git config --system color.ui auto
please check manual page:
git help config
2012/10/17 Cheung Benson bensoncheung...@gmail.com
Hi There,
Recently I notice git have alias option for
10 matches
Mail list logo
