we are no longer using this since we switched to paid github
Update PR based on labels.
Heavily inspired from pr-update-action
| Name | Name | Last commit date | ||
|---|---|---|---|---|
we are no longer using this since we switched to paid github
Update PR based on labels.
Heavily inspired from pr-update-action