Add sleep after push to give github time to allow pull request