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?

k

Reply via email to