Re: [tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2018-01-31 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: closed Priority: Medium | Milestone: Component: Metrics/Website |Version:

Re: [tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2018-01-31 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: merge_ready Priority: Medium | Milestone: Component: Metrics/Website |

Re: [tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2018-01-30 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component: Metrics/Website |

Re: [tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2018-01-30 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: accepted Priority: Medium | Milestone: Component: Metrics/Website |

Re: [tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2018-01-26 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: accepted Priority: Medium | Milestone: Component: Metrics/Website |

Re: [tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2017-12-05 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+-- Reporter: karsten | Owner: iwakeh Type: enhancement | Status: accepted Priority: Medium | Milestone: Component: Metrics/Website |Version:

[tor-bugs] #24294 [Metrics/Website]: Rename metrics-web packages

2017-11-15 Thread Tor Bug Tracker & Wiki
#24294: Rename metrics-web packages -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics/Website |