A (homotopy) fully faithful functor is a map of $\infty$-categories which is essentially surjective and which induces weak equivalences on mapping spaces. Are homotopy fully faithful functors preserved under (homotopy) pushout?