latest 2 messages by IntriR

+ [2015-06-05T07:55:59Z] IntriR VxJasonxV: Thanks, appreciate it :)
+ [2015-06-05T07:50:28Z] IntriR Hi all - is it possible to push new commits to a PR that has already been merged? Is this considered bad practice?