Considering there hasn’t been a merge proposal in 2 years, it’s not too surprising it’s being skipped. Especially since following that process would be a way for it to be blocked from being merged in its current state.