...
[13:54:03 CDT(-0500)] <anastasiac> pushed, michelled
[14:13:52 CDT(-0500)] <michelled> anastasiac: I merged and pushed your pull request 47 for 4747
[14:14:06 CDT(-0500)] <anastasiac> yay! thanks
...
[13:54:03 CDT(-0500)] <anastasiac> pushed, michelled
[14:13:52 CDT(-0500)] <michelled> anastasiac: I merged and pushed your pull request 47 for 4747
[14:14:06 CDT(-0500)] <anastasiac> yay! thanks