Give github some time to notify that PR has been merged

This was not blocking, I closed the PR because of `datetime.time` :)