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