Merge requests · Administrator / sourcegraph

migrating commands according to RFC 155 3 of 3 checklist items completed

!11033 · created May 27, 2020 by Administrator 3.17 master
- Merged
- 7
updated Feb 05, 2021
Overhaul tooltip close button & badge styles

!10956 · created May 25, 2020 by Administrator 3.17 master
- Merged
- 1
updated Feb 05, 2021
Refactor FileInfo in browser extension 17 of 17 checklist items completed

!10779 · created May 18, 2020 by Administrator 3.17 master
- Merged
- 11
updated Feb 05, 2021
support predefined icons for badges (backward compat)

!10517 · created May 08, 2020 by Administrator 3.17 master
- Merged
- 14
updated Feb 05, 2021
Upload ESLint warnings as LSIF diagnostics

!11469 · created Jun 12, 2020 by Administrator 3.17 master
- Merged
- 1
updated Jun 12, 2020
repo-updater: Use per HTTP request timeouts

!11105 · created May 29, 2020 by Administrator 3.17 master
- Merged
- 5
updated May 29, 2020
repo-updater: Change Postgres isolation level to default

!10957 · created May 25, 2020 by Administrator 3.17 master
- Merged
updated May 25, 2020
Add golangci-lint GitHub Action

!10858 · created May 20, 2020 by Administrator 3.17 master
- Merged
- 8
updated May 20, 2020