Re: Why is there no force pull?

2018-06-10 Thread Torsten Bögershausen
On Sat, Jun 09, 2018 at 09:01:54PM +0200, Christoph Böhmwalder wrote: > Hi, > > Since this is a use case that actually comes up quite often in > day-to-day use, especially among git beginners, I was wondering: is > there a specific reason why a command like "fetch changes from remote, >

Re: Why is there no force pull?

2018-06-09 Thread Ævar Arnfjörð Bjarmason
On Sat, Jun 09 2018, Elijah Newren wrote: > On Sat, Jun 9, 2018 at 12:01 PM, Christoph Böhmwalder > wrote: >> Hi, >> >> Since this is a use case that actually comes up quite often in >> day-to-day use, especially among git beginners, I was wondering: is >> there a specific reason why a command

Re: Why is there no force pull?

2018-06-09 Thread Christoph Böhmwalder
On Sat, Jun 09, 2018 at 01:04:30PM -0700, Elijah Newren wrote: > Upon reading the subject and before reading the body, I assumed you > were going to ask for a 'git pull --force' that would throw away > *uncommitted* changes (i.e. do a 'git reset --hard HEAD' before the > rest of the pull). But

Re: Why is there no force pull?

2018-06-09 Thread Elijah Newren
On Sat, Jun 9, 2018 at 12:01 PM, Christoph Böhmwalder wrote: > Hi, > > Since this is a use case that actually comes up quite often in > day-to-day use, especially among git beginners, I was wondering: is > there a specific reason why a command like "fetch changes from remote, > overwriting

Why is there no force pull?

2018-06-09 Thread Christoph Böhmwalder
Hi, Since this is a use case that actually comes up quite often in day-to-day use, especially among git beginners, I was wondering: is there a specific reason why a command like "fetch changes from remote, overwriting everything in my current working directory including all commits I've made"