Skip to content

encode characters in package name#19

Merged
maennchen merged 3 commits intoerlef:mainfrom
matt-phylum:name-encode
Mar 4, 2025
Merged

encode characters in package name#19
maennchen merged 3 commits intoerlef:mainfrom
matt-phylum:name-encode

Conversation

@matt-phylum
Copy link
Contributor

@matt-phylum matt-phylum commented Mar 4, 2025

I haven't checked if this causes any other problems, but this fixes #10, at least for the package pkg:maven/net.databinder/dispatch-http%252Bjson_2.7.3@0.6.0. I hadn't noticed before that the name wasn't being encoded correctly on write, but that should be fixed too.

Fixes #10

@coveralls
Copy link

coveralls commented Mar 4, 2025

Pull Request Test Coverage Report for Build ecc6772ef0c089f381c5f0bb5dec83564a189ca1-PR-19

Details

  • 4 of 4 (100.0%) changed or added relevant lines in 2 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.1%) to 84.768%

Totals Coverage Status
Change from base Build 8ed8701f42295f2d9e2582d739100b8dff59e621: 0.1%
Covered Lines: 128
Relevant Lines: 151

💛 - Coveralls

Co-authored-by: Jonatan Männchen <jonatan@maennchen.ch>
@maennchen maennchen self-assigned this Mar 4, 2025
@maennchen maennchen merged commit 84223d9 into erlef:main Mar 4, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incomplete percent encoding and decoding of package name

3 participants