jehiah/git-open-pull — pull request #9 by ploxiln (2013-05-13 15:27:55+00:00)
Title: more sleep after git push

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