Give github some time to notify that PR has been merged

I know, but you know, while at it...;)