Skip to content
This repository was archived by the owner on Nov 6, 2023. It is now read-only.

Documenting ruleset update channels - #16446

Merged
Hainish merged 1 commit into
EFForg:masterfrom
Hainish:docs-ruleset-update-channels
Aug 31, 2018
Merged

Documenting ruleset update channels#16446
Hainish merged 1 commit into
EFForg:masterfrom
Hainish:docs-ruleset-update-channels

Conversation

@Hainish

@Hainish Hainish commented Aug 31, 2018

Copy link
Copy Markdown
Member

No description provided.

@Hainish
Hainish force-pushed the docs-ruleset-update-channels branch from c755ece to 13d4229 Compare August 31, 2018 23:31
@Hainish
Hainish merged commit f924230 into EFForg:master Aug 31, 2018
@Hainish
Hainish deleted the docs-ruleset-update-channels branch August 31, 2018 23:37
@Hainish

Hainish commented Sep 1, 2018

Copy link
Copy Markdown
Member Author

cc @cschanaj @J0WI FYI.

Next,

cd https-everywhere
rm rules/*.xml

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

One can save the time rm the existing rulesets by pointing utils/merge-rulesets.py to the correct directory.

# commandline arguments parsing (nobody use it, though)
parser = argparse.ArgumentParser(description="Merge rulesets")
parser.add_argument("--source_dir", default="src/chrome/content/rules")

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.

I want to avoid the possibility that a ruleset channel maintainer might forget this --source_dir flag in the future, and I don't see any harm in simply removing the xml files in rules for anyone maintaining a non-EFF ruleset channel. I'm inclined to keep it, since adding a mkdir and pointing to it using --source_dir seems about as complicated as what we currently have here.

@Hainish

Hainish commented Sep 5, 2018

Copy link
Copy Markdown
Member Author

also cc @Bisaloo @bcyphers

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants