Add support for customizing HTTP headers

Open kyokuping opened this issue 4 months ago • 6 comments

This PR adds support for custom HTTP headers, introducing a --http-header CLI flag to accept key=value pairs. These headers can also be specified within the setting.pkl file.

Closes #633

Aug 31 '25 16:08 kyokuping

Just a heads up, we want reviews from the entire core team because this feature affects the core language and has security implications. One member of the team is currently out on leave so it's going to be a little bit before we can fully review this, but we haven't forgotten about it!

Sep 17 '25 15:09 HT154

I will resume working on this PR after getting the SPICE merged!

Sep 25 '25 04:09 kyokuping

As a heads up: the SPICE can only be merged once this pr is merged and released on a new version. So you only need the SPICE to be approved.

Sep 25 '25 08:09 stackoverflow

@kyokuping was the close intentional?

Nov 13 '25 16:11 bioball

Sorry, accidentally closed the PR. 😢

Nov 13 '25 17:11 kyokuping

Gotcha, feel free to re-open a new PR!

Nov 13 '25 18:11 bioball