GitHub Task list feature

[Aaron Meurer]

GItHub has a pretty neat new feature. See
https://github.com/blog/1375-task-lists-in-gfm-issues-pulls-comments

You can now add check lists as comments to pull requests. The syntax is like

- [ ] Item 1
- [ ] Item 2
- [x] Checked item

So this is a great way to summarize the TODOs for pull requests. I've
given an example at
https://github.com/sympy/sympy/pull/1709#issuecomment-12083362. Then,
as things are completed, you can check the items (I'm assuming anyone
with permissions to edit a comment can check items), and it will
update.

Aaron Meurer

[Sashrika Waidyarathna]

This would be nice. github is getting simpler and simpler