Open
Description
There's some things that might help automate the workflow of merging things into this repository, e.g. adding bors-ng
to streamline merging once tests pass and enabling merge commits. I can't do this as I'm not admin.
Is this something you're okay with doing @rafaelcaricio?