Give github some time to notify that PR has been merged