Fix linting following external contribution (#911)

Quick-follow to
7dd13a9ec4,
to fix linting issue introduced in that PR.
This commit is contained in:
Tessa Walsh 2025-11-11 15:03:56 -05:00 committed by GitHub
parent b50ef1230f
commit 11f52db31e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -42,7 +42,9 @@ async function writeUrlContentsToFile(
pathDefaultExt: string,
useProxy: boolean = false,
) {
const res = await fetch(url, { dispatcher: useProxy ? getProxyDispatcher(url) : undefined });
const res = await fetch(url, {
dispatcher: useProxy ? getProxyDispatcher(url) : undefined,
});
const fileContents = await res.text();
const filename =