Github slow response makes crashes #5
Description
in make_PR, we sometimes have the "pr view" step fail as github replies that no PR exists, even though we just created it.
Add a retry step.
{{ message }}
in make_PR, we sometimes have the "pr view" step fail as github replies that no PR exists, even though we just created it.
Add a retry step.