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?
There's some things that might help automate the workflow of merging things into this repository, e.g. adding
bors-ngto 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?