Merge requests · Administrator / sourcegraph

Update dependency @sourcegraph/eslint-config to ^0.20.7 0 of 1 checklist item completed

!13363 · created Aug 26, 2020 by Administrator main
- Merged
- 3
updated Aug 26, 2020
Upgrade TypeScript to v4

!13362 · created Aug 26, 2020 by Administrator main
- Merged
- 1
updated Feb 05, 2021
Update dependency ts-morph to ^7.3.0 - autoclosed 0 of 1 checklist item completed

!13361 · created Aug 26, 2020 by Administrator main
- Closed
updated Feb 05, 2021
Define diff stats next to diff in tests

!13360 · created Aug 26, 2020 by Administrator main
- Merged
updated Aug 26, 2020
search: enable negated patterns for unindexed search

!13359 · created Aug 26, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
search: add ellipses alias for structural search holes

!13358 · created Aug 26, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
search: address parser lints

!13357 · created Aug 26, 2020 by Administrator main
- Merged
- 2
updated Jun 10, 2021
db: add Postgres function to generate soft-deleted repository name

!13356 · created Aug 26, 2020 by Administrator main
- Merged
updated Aug 26, 2020
search: check patterns for field prefix

!13355 · created Aug 26, 2020 by Administrator main
- Merged
updated Jun 10, 2021
Tracking issue: support issues with multiple assignees

!13354 · created Aug 26, 2020 by Administrator main
- Merged
- 1
updated Aug 27, 2020
repos_perm: fix bad string conversion

!13353 · created Aug 26, 2020 by Administrator main
- Merged
- 2
updated Aug 26, 2020
search: don't use pointer for excluded repo type

!13352 · created Aug 26, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
Update comby/comby Docker tag to v0.18.3 0 of 1 checklist item completed

!13351 · created Aug 26, 2020 by Administrator main
- Merged
- 2
updated Aug 26, 2020
Remove docs.sourcegraph.com sidebar, simplify template

!13350 · created Aug 26, 2020 by Administrator main
- Closed
- 3
updated Oct 01, 2020
internal tool: dhall migrator

!13349 · created Aug 26, 2020 by Administrator main
- Closed
- 5
updated Aug 27, 2020
search: remove query logging

!13347 · created Aug 26, 2020 by Administrator main
- Merged
- 2
updated Jun 10, 2021
Improve campaigns render performance

!13344 · created Aug 26, 2020 by Administrator main
- Merged
- 1
updated Feb 05, 2021
Fix campaign becoming out of date

!13343 · created Aug 26, 2020 by Administrator 3.20 main
- Merged
- 1
updated Sep 14, 2020
Show most recent campaign at the top

!13342 · created Aug 26, 2020 by Administrator 3.20 main
- Merged
- 2
updated Sep 14, 2020
Default to only show open campaigns

!13337 · created Aug 25, 2020 by Administrator 3.20 main
- Merged
- 1
updated Sep 14, 2020