Open crabdancing opened 1 year ago
I'd like to know as well :)
It seems that GitHub offers an auto-merge feature for free if you repo is public. Otherwise it's offered on a paid plan.
I don't know if this is the preferred way to merge update-flake-lock
PRs.
Here's an example.
I'm not sure how to manage automatic merging of PR. What is the 'proper' way of doing this?