fix broken contributing guide #2939
Merged
Azure Pipelines / porter (Setup Determine PR Type)
succeeded
Oct 9, 2023 in 6s
Setup Determine PR Type succeeded
Loading