Merge requests · Administrator / sourcegraph

src-cli: bump required version to 3.18.0

!13189 · created Aug 20, 2020 by Administrator main
- Merged
updated Aug 24, 2020
Update left side navigation

!13188 · created Aug 20, 2020 by Administrator 3.19 main
- Merged
updated Aug 20, 2020
Update README

!13186 · created Aug 20, 2020 by Administrator main
- Closed
- 1
updated Aug 20, 2020
Dummy PR (do not merge)

!13185 · created Aug 20, 2020 by Administrator main
- Closed
updated Jun 10, 2021
prometheus: disable alertmanager clustering by default

!13182 · created Aug 20, 2020 by Administrator main
- Merged
- 3
updated Aug 25, 2020
Add 3.19 to kubernetes update guide

!13181 · created Aug 20, 2020 by Administrator main
- Merged
updated Aug 20, 2020
Update latest release to 3.19.0

!13180 · created Aug 20, 2020 by Administrator main
- Merged
- 2
updated Aug 20, 2020
Reduce alert box count to 1 on apply page

!13178 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Aug 20, 2020
search: always set zoekt.MaxWallTime to deadline

!13177 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
Add external services repos table

!13176 · created Aug 20, 2020 by Administrator main
- Merged
- 2
updated Aug 21, 2020
monitoring: relax cpu provisioning alert with longer duration

!13175 · created Aug 20, 2020 by Administrator main
- Merged
- 4
updated Aug 21, 2020
graphqlbackend: allow user update and delete external services

!13173 · created Aug 20, 2020 by Administrator main
- Merged
- 2
updated Aug 21, 2020
search: read user settings from database once in search path

!13171 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
This is the title of the PR

!13170 · created Aug 20, 2020 by Administrator main
- Closed
- 1
updated Jun 10, 2021
Revert "Add external services repos table"

!13169 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Aug 20, 2020
repo-updater: Add the ExternalServiceID option to StoreListReposArgs

!13167 · created Aug 20, 2020 by Administrator main
- Merged
- 2
updated Aug 21, 2020
search: don't fuzzify repo for GitHub-looking paths

!13166 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
graphqlbackend: use FileMatchResolver methods more

!13165 · created Aug 20, 2020 by Administrator main
- Merged
updated Jun 10, 2021
search: refactor to use a type for resolved repo values

!13164 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Jun 10, 2021
Surveys should go from 0–10, not 0–9

!13163 · created Aug 20, 2020 by Administrator main
- Merged
- 1
updated Feb 05, 2021