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

maint: Helpful scripts for tor maintenance #729

Merged
merged 3 commits into from Feb 26, 2019
Merged

maint: Helpful scripts for tor maintenance #729

merged 3 commits into from Feb 26, 2019

Conversation

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
3 participants
@dgoulet-tor @coveralls @torproject-pusher
@dgoulet-tor
Copy link
Contributor

@dgoulet-tor dgoulet-tor commented Feb 26, 2019

Closes #29391

Signed-off-by: David Goulet dgoulet@torproject.org
dgoulet-tor added 3 commits Feb 26, 2019
@dgoulet-tor
Merge branch 'tor-github/pr/691' into maint-0.3.5
1216f99
@dgoulet-tor
Merge branch 'maint-0.3.5'
ec69575
@dgoulet-tor
maint: Helpful scripts for tor maintenance
e1ad226 
Closes #29391

Signed-off-by: David Goulet <dgoulet@torproject.org>
@dgoulet-tor dgoulet-tor force-pushed the ticket29391_041_01 branch from ea32614 to e1ad226 Feb 26, 2019
@coveralls
Copy link

@coveralls coveralls commented Feb 26, 2019 •
edited

Pull Request Test Coverage Report for Build 3956

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.001%) to 61.708%
Totals Coverage Status
Change from base Build 3950: 0.001%
Covered Lines: 45329
Relevant Lines: 73457
💛 - Coveralls

@torproject-pusher torproject-pusher merged commit e1ad226 into torproject:master Feb 26, 2019
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment