Not necessarily. They could still be pushing meaningful changes upstream even if they have forked the project (I have no idea if they've forked or not).