feat: frontend redirect of /user/$PATH to /users/$USER/$PATH (!158) · Merge requests · Administrator / sourcegraph

Administrator requested to merge user-redirect into master Oct 01, 2018

Created by: sqs

This lets us publish URLs like https://sourcegraph.com/user/whatever that go to the whatever path under the user's actual user profile, without knowing their username in advance.

feat: frontend redirect of /user/$PATH to /users/$USER/$PATH

Merge request reports