Remove dead permanent key from redirect entries - #1857

Remove dead permanent key from redirect entries#1857

marcleblanc2 merged 1 commit into

mainsourcegraph/docs:mainfrom

remove-dead-redirect-permanent-keysourcegraph/docs:remove-dead-redirect-permanent-keyCopy head branch name to clipboard