Give github some time to notify that PR has been merged

This should be `time.time`, not `time.datetime`. I think this way it cannot work at all.