Hi! I just re-opened a closed github PR using the ...
# seed
a
Hi! I just re-opened a closed github PR using the github ui, that previously had a SEED deployment associated with it, but a new SEED deployment was not created, is this expected behaviour?
f
Hey @Andrew Blaney, yeah a PR stage only gets created when the PR is first created.
a
great, thanks @Frank
f
Let me add that to our roadmap.
For now, as a workaround, you can create a stage that auto-deploys from the PR’s source branch.
a
thank you!