[tei-council] git: what would get pushed

Got it! For a long time now I've been asking (in a variety of ways)[1] "how do I find out what will get pushed if I `git push`". The answer seems to be $ git log origin..HEAD Notes ----- [1] Here are 2 posted here from this year: 03-08> how do I ask the question "hey, it's been a long time 03-08> since I worked in this branch, what had I changed herein?" 06-26> So that means I've committed 3 times that I don't 06-26> remember. How do I find out what those commits were?