Closed tasdomas closed 1 year ago
@tasdomas, would you mind setting the base branch of #660 (this) to #651 so I don't have to tweak GitHub filters too much to review only the changes it introduces?
@tasdomas, would you mind setting the base branch of #660 (this) to #651 so I don't have to tweak GitHub filters too much to review only the changes it introduces?
I was thinking that we'd land #651 first and then move on to this.
@tasdomas it looks like #651 is merged, Is this ready for review now?
@tasdomas it looks like #651 is merged, Is this ready for review now?
It is, yes
This PR contains a few other changes as well: