You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: