Devsters should use dev. not devproxy.

[gausie]

No description provided.

[codecov]

Codecov Report

Merging #2033 (f034c0e) into main (4518411) will increase coverage by 0.00%.
The diff coverage is 40.00%.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #2033   +/-   ##
=========================================
  Coverage     37.01%   37.02%           
- Complexity    19309    19314    +5     
=========================================
  Files          1091     1091           
  Lines        167257   167257           
  Branches      35429    35429           
=========================================
+ Hits          61910    61920   +10     
+ Misses        95436    95426   -10     
  Partials       9911     9911           

Files	Coverage Δ
...t/sourceforge/kolmafia/request/GenericRequest.java	35.22% <100.00%> (ø)
src/net/sourceforge/kolmafia/KoLmafia.java	37.90% <50.00%> (ø)
...net/sourceforge/kolmafia/request/LoginRequest.java	5.98% <0.00%> (ø)
...c/net/sourceforge/kolmafia/swingui/LoginFrame.java	0.00% <0.00%> (ø)

... and 4 files with indirect coverage changes

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 4518411...f034c0e. Read the comment docs.