On 10/05/2013 08:51 PM, Karl Berry wrote:
I wonder whether it is actually useful to push from root@frontend.Yes, at least to me it is. Whenever I push from other places I end up in some kind of git hell. Beyond that, it is the only safe thing I've found to do. Like I asked before, how you can tell what git pull will bring in?
I believe, git fetch origin && git diff origin. (I'm sorry for having missed your question.)
