Skip to content

Basic mirroring tool#4

Merged
ctz merged 3 commits intomainfrom
jbp-mirror
Dec 7, 2025
Merged

Basic mirroring tool#4
ctz merged 3 commits intomainfrom
jbp-mirror

Conversation

@ctz
Copy link
Copy Markdown
Member

@ctz ctz commented Nov 30, 2025

No description provided.

Base automatically changed from jbp-rename to main December 1, 2025 09:35
@ctz ctz requested a review from djc December 5, 2025 11:59
@djc
Copy link
Copy Markdown
Member

djc commented Dec 5, 2025

Sorry, had failed to watch this repo before -- have done so now.

Comment thread Cargo.toml
Comment thread rustls-upki/Cargo.toml
Comment thread Cargo.toml
Comment thread Cargo.toml Outdated
Comment thread upki-mirror/Cargo.toml Outdated
Comment thread upki-mirror/src/main.rs Outdated
Comment thread upki-mirror/src/main.rs Outdated
Comment thread upki-mirror/src/main.rs
}

// and size (impossible if hash is correct, but should make us distrust the data)
if p.attachment.size != bytes.len() {
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If this is impossible, why are we doing it? What do you mean by "should make us distrust the data"? If we want to do both, should we check size first?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is just maintaining healthy distrust of the upstream data, rather than doing garbage-in/garbage-out.

Comment thread upki-mirror/src/main.rs Outdated
Comment thread upki-mirror/src/main.rs Outdated
@ctz ctz force-pushed the jbp-mirror branch 2 times, most recently from 93c8414 to c64a93c Compare December 6, 2025 17:13
ctz added 2 commits December 6, 2025 18:35
This fetches filters from Mozilla's preferences backend, and then
packages them into a simplified format (directory of files, plus
a JSON manifest).
@ctz ctz added this pull request to the merge queue Dec 7, 2025
Merged via the queue into main with commit 50ef172 Dec 7, 2025
7 checks passed
@ctz ctz deleted the jbp-mirror branch December 7, 2025 10:55
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.

2 participants