A criterion for HNN extensions of finite $p$-groups to be residually $p$

We give a criterion for an HNN extension of a finite $p$-group to be residually $p$.