Open KotlinIsland opened 4 months ago
would it make a PR? that would be annoying because merge PRs can't actually be merged through github, so we would need to also make an action that does the merge as well
Yeah, something like that, or maybe it can override the rules about merge PR via the api?
When pyright does a release, we create a PR, with a separate action to merge it into main. The only complication is that merge PR's are banned.