M\"{o}bius disjointness for skew products on a circle and a nilmanifold

Let $\mathbb{T}$ be the unit circle and $\Gamma \backslash G$ the $3$-dimensional Heisenberg nilmanifold. We prove that a class of skew products on $\mathbb{T} \times \Gamma \backslash G$ are distal, and that the M\"{o}bius function is linearly disjoint from these skew products. This verifies the M\"{o}bius Disjointness Conjecture of Sarnak.