Daniel just closed the geometry research project issue:
https://github.com/stan-dev/stan/issues/642
Where should we put these? They were there because someone
(Andrew I believe) said there should be a place to put
projects. If they're not allowed as issues, then we should
find another place for them and remove the "project" tag.
- Bob