Re-enable User-Agent for downloads

jbangdev / jbang

Unleash the power of Java - JBang Lets Students, Educators and Professional Developers create, edit and run self-contained source-only Java programs with unprecedented ease.

https://jbang.dev

MIT License

1.43k stars 159 forks source link

Re-enable User-Agent for downloads #1072

Open quintesse opened 3 years ago

quintesse commented 3 years ago

See original PR https://github.com/jbangdev/jbang/pull/1037 and relevant bug report https://github.com/jbangdev/jbang/issues/1047

quintesse commented 3 years ago

I've added this as a Maybe to the 1.0 roadmap. Not essential but I think it would be good to have a proper User-Agent from 1.0 onwards.