Re: [git-users] re-use a branch after merge in master

Hello, as branches are nothing more than pointers to commits, there is nothing that can keep you from reusing their names. It may confuse other developers, though, so if you are working in a tem, you may want to consult them on this. Best, Gergely On Mar 23, 2016 17:04,

Re: [git-users] re-use a branch after merge in master

On Wed, 23 Mar 2016 09:04:45 -0700 (PDT) frederic_dumou...@yahoo.fr wrote: > I'd like to know if it's possible to re-use a branch name after it > has been merged into master. > > Here are the details of what I did : > * creation of a personnal branch > git checkout -b fdn/myBranch > * regular

[git-users] core.ignorecase no longer set for Windows setup

I noticed in a new test installation in a clean Windows 10 environment that Git 2.7.4 does not set the "core.ignorecase" setting to true anymore. This is the case in previous environments. As far as I could find out the default value for this option is false which will cause all kinds of

Re: [git-users] core.ignorecase no longer set for Windows setup

On Wed, 23 Mar 2016 05:57:59 -0700 (PDT) Yves Goergen wrote: > I noticed in a new test installation in a clean Windows 10 > environment that Git 2.7.4 does not set the "core.ignorecase" setting > to true anymore. This is the case in previous environments. As far as > I

Re: [git-users] May I please have help understanding my stupid git mistake?

Hello, unless you used the infamous force push (git push -f) you have nothing to worry about. Push will refuse to work if the remote and local repos have diverged. Best, Gergely On Mar 23, 2016 5:38 AM, "heniser" wrote: > I've done something really stupid to my git public