Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
Trac
Trac
  • Project overview
    • Project overview
    • Details
    • Activity
  • Issues 246
    • Issues 246
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Operations
    • Operations
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Create a new issue
  • Issue Boards

GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.

  • Legacy
  • TracTrac
  • Issues
  • #15786

Closed
Open
Opened Apr 23, 2015 by sambuddhabasu@sambuddhabasu

Change name or take down Google Chrome extension Tor

There is a Google Chrome extension named Tor. The extension can be seen at https://chrome.google.com/webstore/detail/tor/ohielanlcdleofjibfmjbbkaajdcpoil?hl=en

On discussing about this on IRC with arma, I came to know that this extension is not maintained by the Tor community.

Hence, the name for the extension should be changed or the extension itself should be taken down.

The complaint can be filed by filling the form on https://support.google.com/legal/contact/lr_trademark?product=chromewebstoreextensionsgallery

To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: legacy/trac#15786