4 Nov
2015
4 Nov
'15
7:33 a.m.
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