Merge requests · Administrator / sourcegraph · GitLab

Re-render extension card when theme changes

!14291 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 30, 2020
search: enable enterprise home panels by default

!14288 · created Sep 29, 2020 by Administrator main
- Merged
- 2
updated Jun 10, 2021
use commands directly in vagrant shell

!14286 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 30, 2020
Fix extension area tabs, add dark theme icons

!14285 · created Sep 29, 2020 by Administrator main
- Merged
- 3
updated Feb 05, 2021
repo-updater: Instrument the size of the scheduler heap

!14284 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 29, 2020
Revert "tour: add snapshots (#13321)"

!14282 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 29, 2020
Split up ChangesetCountsOverTime tests into integration and unit

!14281 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 29, 2020
dev: remove release ping script

!14280 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 29, 2020
Revert "usagestats: replace usages of usagestatsdepreacted with usage…

!14279 · created Sep 29, 2020 by Administrator main
- Merged
- 2
updated Sep 29, 2020
Update go-diff to 0.6.1

!14278 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 29, 2020
Revert "repo-updater: Sync single external service at a time using workerutil

!14277 · created Sep 29, 2020 by Administrator main
- Merged
- 2
updated Sep 29, 2020
frontend: instrument failures in config file override watcher

!14274 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 30, 2020
gomod: zoekt always respects search.largeFiles

!14273 · created Sep 29, 2020 by Administrator main
- Merged
- 4
updated Jun 10, 2021
Fix duplicated 'Changed' section in changelog

!14271 · created Sep 29, 2020 by Administrator main
- Merged
updated Sep 29, 2020
monitoring: update trace log format in db hook

!14270 · created Sep 29, 2020 by Administrator main
- Merged
- 1
updated Sep 29, 2020
monitoring: add more panels to Grafana repo-updater dashboard 18 of 26 checklist items completed

!14269 · created Sep 29, 2020 by Administrator Cloud 2020-10-07 main
- Merged
- 8
updated Oct 09, 2020
tracking-issue: Turn the tracking issue inside out

!14265 · created Sep 29, 2020 by Administrator 3.21 main
- Merged
- 1
updated Oct 01, 2020
show BrowserExtensionToast after more days of activity

!14261 · created Sep 28, 2020 by Administrator main
- Merged
- 1
updated Sep 28, 2020
logging: introduce new json log format with automatic severity field

!14259 · created Sep 28, 2020 by Administrator main
- Merged
- 1
updated Sep 30, 2020
make repo name more prominent in repo breadcrumb

!14258 · created Sep 28, 2020 by Administrator main
- Closed
- 1
updated Aug 25, 2021