A first observation is that homology groups are themselves homotopy groups. Precisely there is a functor $\mathbb{Z}[-]$ from spaces to pointed spaces (it is easier to describe when you think of spaces as Kan complexes, but think of it as "free $\mathbb{Z}$-module over $X$") such that $\pi_*(\mathbb{Z}[X])=H_*(X)$. As it turns out, this functor is 1-excisive so if you have an homotopy pushout square applying $\mathbb{Z}[-]$ turns it into an homotopy pullback square. So in fact the observation about homology and homotopy pushouts is an immediate consequence of the homotopy excisivity of homology (basically the excision theorem) and the observation about homotopy and homotopy pullbacks. In fact this fact is not special to singular homology: any homology theory $E$ has an 1-excisive functor (usually denoted by $\Omega^\infty(E\wedge \Sigma^\infty_+-)$ for reasons that are related to the representability of homology theory by spectra) playing essentially the same role. In fact you can identify homology theories by such functors (this is well covered, I believe, by Goodwillie's *Calculus I* paper that you are reading). This is a consequence of Brown representability.