fix: download schema via REST API to avoid raw.githubusercontent.com 429s - #264
Draft
stekern wants to merge 2 commits into
Draft
fix: download schema via REST API to avoid raw.githubusercontent.com 429s#264stekern wants to merge 2 commits into
stekern wants to merge 2 commits into