I'd like to know a reference where the following property, that I believe to be true, is checked: given a diagram of categories and functors $B\leftarrow A\rightarrow C$ (I'm actually interested in the enriched case, over a closed symmetric monoidal category), if $A\rightarrow C$ is fully faithful then so is the functor to the (strict) push-out $B\rightarrow B\cup_A C$.
I should say that I have been able to check this in some specific cases that I needed, but a reference would help me to reduce a paper in four pages ;-)