Merge requests · Administrator / sourcegraph

link Help to docs.sourcegraph.com on sourcegraph.com, not internal /help pages

!1566 · created Dec 23, 2018 by Administrator master
- Merged
updated Dec 29, 2018
Update dependency @sourcegraph/codeintellify to v6 0 of 1 checklist item completed

!1565 · created Dec 23, 2018 by Administrator master
- Closed
updated Dec 23, 2018
handle empty selection in and add test for modelToTextDocumentPositionParams

!1564 · created Dec 23, 2018 by Administrator master
- Merged
updated Dec 23, 2018
store non-resolved input revision for workspace roots

!1563 · created Dec 23, 2018 by Administrator master
- Merged
updated Dec 23, 2018
fix syntax highlighting not being registered

!1562 · created Dec 23, 2018 by Administrator master
- Merged
updated Dec 23, 2018
use _ not - in doc file names, add redirects

!1560 · created Dec 23, 2018 by Administrator master
- Merged
updated Sep 30, 2019
document extension contributions, actions, telemetry

!1559 · created Dec 23, 2018 by Administrator master
- Merged
updated Dec 23, 2018
use React context to pass eventLogger, log ActionItem action invocations

!1555 · created Dec 22, 2018 by Administrator master
- Closed
updated Dec 22, 2018
http -> https

!1549 · created Dec 21, 2018 by Administrator master
- Merged
updated Dec 21, 2018
add gitlab proposal

!1547 · created Dec 21, 2018 by Administrator master
- Closed
updated Jan 29, 2019
all: gofmt -s -w .

!1546 · created Dec 21, 2018 by Administrator master
- Merged
updated Dec 21, 2018
fix #1544: rendered markdown false positive

!1545 · created Dec 21, 2018 by Administrator master
- Merged
updated Jan 14, 2019
Update dependency @sourcegraph/codeintellify to ^5.1.0 0 of 1 checklist item completed

!1543 · created Dec 21, 2018 by Administrator master
- Merged
updated Dec 22, 2018
finish switching to yarn in cmd/management-console

!1542 · created Dec 21, 2018 by Administrator master
- Merged
updated Dec 21, 2018
Proposal for improving language support in 2019

!1541 · created Dec 21, 2018 by Administrator master
- Merged
updated Dec 22, 2018
dom observability proposal

!1539 · created Dec 21, 2018 by Administrator master
- Closed
updated Sep 30, 2019
Loading unpacked extensions 2 of 2 checklist items completed

!1508 · created Dec 19, 2018 by Administrator master
- Merged
updated Jan 14, 2019
Update dependency @sourcegraph/tslint-config to ^12.3.0 0 of 1 checklist item completed

!1505 · created Dec 19, 2018 by Administrator master
- Merged
updated Dec 20, 2018
Proposal for extension-based Java code intelligence

!1503 · created Dec 19, 2018 by Administrator proposals
- Closed
updated Sep 30, 2019
ci: rm automatic deployments to prod

!1501 · created Dec 19, 2018 by Administrator master
- Merged
updated Dec 19, 2018