Revert "github-pull-request-make: temporary workaround"#107178

Merged

craig[bot] merged 1 commit intocockroachdb:masterfrom knz:20230719-revert

Jul 19, 2023

-5

Commits on Jul 19, 2023

Revert "github-pull-request-make: temporary workaround"
knz
committed