They are actually pretty busy with new events, implementations, that wheel bug compensation (a lot to verify) and a lot of bugs reports. Server merge requests are still there and I think they really are doing best with merge.