Contributors to files: no need to create a script

[Daniel Lee]

GitHub now does it for us.

For example:
https://github.com/stan-dev/stan/blob/develop/src/stan/lang/ast.hpp

You can see that there are 3 contributors to the file.

Daniel

[Ben Goodrich]

On Wednesday, August 5, 2015 at 12:30:43 AM UTC-4, Daniel Lee wrote:

GitHub now does it for us.

For example:
https://github.com/stan-dev/stan/blob/develop/src/stan/lang/ast.hpp

Well, we would need a script to scrape that (which GitHub probably does from History) and write it into each .hpp file like Boost does.

Ben