Coverings of complexes of groups and developability

We develop the theory of coverings of complexes of groups. For ϕ:G′⟶Gϕ:G′⟶G a covering of complexes of groups we prove that GG is developable if and only if G′G′ is developable.