Give github some time to notify that PR has been merged

I think the standard way to do this kind of timing is

```python
from time import time

start_time = time()
...
if time() - start_time > max_waiting_time:
    ...
```

...but YMMV.