The only question that came into my mind if the pull you issued caused
any merge problems?

On 10 July 2014 23:25, Dale R. Worley <wor...@alum.mit.edu> wrote:
> I'm hardly an expert, but what I see for the description of the 9:11
> commit (5f5345a) is "Merge branch 'master' of https://github.com...";.
> First question is, What is the full name of that commit?  Second
> question is, does the full URL in that commit make sense in the
> context of your work?
>
> I'd guess that the Pull that you did merged your working copy with all
> those commits from github, and the Push sent it to your master.  Are
> you sure that the connections from your working copy to the master are
> set up correctly?  And it git-pull the command you really want?
>
> Do you have some sort of log that shows exactly what Git commands you
> executed?
>
> I expect that you can reset the HEAD and contents of your working copy
> to the parent of 7f78507, re-apply your changes for that commit, and
> re-execute the Pull and cause the problem to happen again.  Then look
> at the commit history of your working copy.  Heh -- do this in a copy
> of your working copy, not the live one.
>
> Dale
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Git for human beings" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to git-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to