Automatic merging of PR?

[crabdancing]

I'm not sure how to manage automatic merging of PR. What is the 'proper' way of doing this?

[hydrajump]

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.

[mightyiam]

Here's an example.