search

aip-dev / google.aip.dev

API Improvement Proposals. https://aip.dev/
Other
1.08k stars 495 forks source link

Bold "must" #1408

Closed zchenyu closed 2 months ago

zchenyu commented 2 months ago

I'll need a team member to help merge, since I don't have write access to the repo