tx, that was what i had forgotten On 04/11/15 15:33, Hugh Cayless wrote:

Too late for what? You can do a git fetch and see if it pulls anything down without merging it.

...

On Nov 4, 2015, at 10:30 , Lou Burnard wrote:

Can someone remind me how I find out whether my local repo is up to date with the dev master? git status tells me if I am ahead of it, but not if I am behind. I can find out by doing a pull and seeing if something has changed, but of course by then it's too late.

-- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council

PLEASE NOTE: postings to this list are publicly archived