Just in case you weren’t tracking GitHub, the Stan pull request went in.
CmdStan has been updated, so develop
on CmdStan is compatible with develop
on Stan.
That isn’t true of RStan or CmdStan right now, but there are open pull requests on both.