![](https://secure.gravatar.com/avatar/af6c39d6943bd4b0e1fde23161e7bb8c.jpg?s=120&d=mm&r=g)
19 Apr
2013
19 Apr
'13
9:33 a.m.
On Thu, Apr 18, 2013 at 6:46 PM, Zachary Pincus <zachary.pincus@yale.edu> wrote:
I think just clicking the "Close" and then "Re-open" buttons will do the trick.
Ah, at the risk of sounding even more like an idiot... on what page are the close/reopen buttons? I can't find ones on the GH pull-request page, or on the Travis-ci build. Sorry! Haven't interacted with the codebase since travis was added and clearly I've no idea what I'm doing. Definitely won't merge my own PRs anymore. Hahaha.
Ah, I think they disappear once the changes have been merged... Stéfan