Both will accomplish the same thing.
What do we do with our old local Stan repository? Do we still push to the old remote Stan repository or do we push into the submodule of CmdStan?
Ben
--
You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stan-dev+u...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
If anyone has old Stan branches with a lot of conflicts due to the refactoring, let me know and I'll help with the merge.