more sleep after git push

sometimes github needs more time after git push before the pull request can be opened