Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

#33188: Alphabetized Server Options and Directory Server Options #1715

Merged
merged 3 commits into from Feb 12, 2020
Merged

#33188: Alphabetized Server Options and Directory Server Options #1715

merged 3 commits into from Feb 12, 2020

Conversation

Reviewers

@nmathewson nmathewson

@tlyu tlyu

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
4 participants
@swati-thacker13 @coveralls @torproject-pusher @Swati-Thacker
@swati-thacker13
Copy link
Contributor

@swati-thacker13 swati-thacker13 commented Feb 10, 2020

This PR includes the following changes:

  • Alphabetized the Server and Directory Server Options

  • Created a new section titled 'Statistics Options'. Pulled out all the stats-related and extra-info related options, and put them into this new section.
@Swati-Thacker
Alphabetized Server Options and Directory Server Options
725b052
@coveralls
Copy link

@coveralls coveralls commented Feb 10, 2020 •
edited

Pull Request Test Coverage Report for Build 8077

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • 202 unchanged lines in 1 file lost coverage.
  • Overall coverage increased (+0.002%) to 63.406%
Files with Coverage Reduction New Missed Lines %
src/feature/hs/hs_client.c 202 55.75%
Totals Coverage Status
Change from base Build 8019: 0.002%
Covered Lines: 50015
Relevant Lines: 78880
💛 - Coveralls

@Swati-Thacker
Addressed minor changes suggested in the ticket
809090d
@swati-thacker13 swati-thacker13 requested review from nmathewson and tlyu Feb 12, 2020
@Swati-Thacker
Moved [[RephistTrackTime]] to General Options.
d33c80f
@tlyu tlyu mentioned this pull request Feb 12, 2020
Merged
@torproject-pusher torproject-pusher merged commit d33c80f into torproject:master Feb 12, 2020
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment