Dear all,
we have by now a whole bunch of issues on Github flagged "Decision": https://github.com/DynareTeam/dynare/labels/decision Basically, all of them are older than a year by now and many of them have been intensively discussed. I think we should move to take those decisions now, because there seem to be no new information flowing in. This would allow to start working on this issues and make the workflow more efficient. For example, #689 by Tom Holden has been updated by him already 12 times according to my count - and is again in conflict with the current branch.
Best,
Johannes