Is there an option to group certain commits together?
I know bors is taking all commits which are queued with the same priority and merge them together. And also there is the option to disable grouping with 'bors single on'.
It would be nice to have something like 'bors group feature-name' and all ready commits with this 'tag' are merged together.