Re: Pull vs push messages

2019-07-11 Thread Martin Ågren
On Fri, 12 Jul 2019 at 00:16, brian m. carlson wrote: > > On 2019-07-11 at 21:36:50, Michael Kielstra wrote: > > Hi all, > > > > I noticed that git pull reports "Already up to date." but git push > > reports "Everything up-to-date". (I'm using git 2.20.1, the latest in > > the Ubuntu repos.) Jus

Re: Pull vs push messages

2019-07-11 Thread brian m. carlson
On 2019-07-11 at 21:36:50, Michael Kielstra wrote: > Hi all, > > I noticed that git pull reports "Already up to date." but git push > reports "Everything up-to-date". (I'm using git 2.20.1, the latest in > the Ubuntu repos.) Just for a consistent user experience, would it be > worth standardizin

Pull vs push messages

2019-07-11 Thread Michael Kielstra
Hi all, I noticed that git pull reports "Already up to date." but git push reports "Everything up-to-date". (I'm using git 2.20.1, the latest in the Ubuntu repos.) Just for a consistent user experience, would it be worth standardizing on: Hyphenation (up-to-date vs up to date)? Periods at the e