Closed CRBrennecka closed 4 years ago
IMO this is ready to be merged - the open discussions between @vsoch and @nuest do not concern the this PR's content but issues that surfaced during its review. I have a call scheduled with @CRBrennecka to discuss how the review went (it was her first time using GitHub :tada:) and can ask her to double-check the changes I pushed to the source branch:
@CRBrennecka you should rebase with master so that we don't see these commits from @nuest here.