Oh good point. Hadn't thought of that, since I usually comment on open pull requests, not already merged ones. Thanks for the tip!