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