We should provide a github actions thingy that updates pins and opens PRs.
We might not have to do all of it on our own. We should provide some machine readable format of what changed so that some other (already existing) action can do the PR opening stuff.
We should provide a github actions thingy that updates pins and opens PRs.
We might not have to do all of it on our own. We should provide some machine readable format of what changed so that some other (already existing) action can do the PR opening stuff.