Closing GitHub issues via pull requests

[Daniel Lee]

If you're creating a pull request and want it to close the issue when it's merged automatically, put one of these keywords and the issue number in the commit message:

• close
  
• closes
  
• closed
  
• fix
  
• fixes
  
• fixed
  
• resolve
  
• resolves
  
• resolved
  

For more details:

https://help.github.com/articles/closing-issues-via-commit-messages/

Daniel

[Bob Carpenter]

Thanks. Added it as a note in the developer process. I keep running
across broken links in those pages and fix them when I find them.

- Bob

> --
> 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/d/optout.

[Daniel Lee]

I'll do a sweep of the broken links in wiki pages. I should be able to figure that one out later this week. (It was my fault -- I think I renamed some titles not realizing consequences.)

Daniel

> To unsubscribe from this group and stop receiving emails from it, send an email to stan-dev+unsubscribe@googlegroups.com.

> For more options, visit https://groups.google.com/d/optout.

--
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+unsubscribe@googlegroups.com.