Give github some time to notify that PR has been merged

...it is exactly so, although I haven't considered it blocking. 

Fixed in the PR — but the point is that GH should let me know immediately and only one request should be needed :P