Merge requests · Administrator / sourcegraph

General Edits

!1105 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 27, 2018
add color theme docs

!1104 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
external services UI

!1103 · created Nov 21, 2018 by Administrator master
- Merged
updated Dec 06, 2018
run go generate before yarn

!1097 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
do not merge: introduce new lint error

!1096 · created Nov 21, 2018 by Administrator master
- Closed
updated Nov 21, 2018
remove/unexport unused browser extension code

!1095 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
Use golanglint-ci

!1094 · created Nov 21, 2018 by Administrator master
- Merged
updated Dec 05, 2018
Update dependency @sourcegraph/tslint-config to ^12.1.0

!1091 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
clean up extension code

!1090 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
pkg/conf/confdb: new package for storing critical + site configuration in DB

!1089 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 27, 2018
remove deprecated User.sourcegraphID field, add User.databaseID

!1088 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
add UserEmail.isPrimary to GraphQL API

!1087 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
FF extension clean up

!1085 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
mv cmd/frontend/db/dbconn to pkg/dbconn

!1084 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 27, 2018
db: rename "site config" to "global state"

!1083 · created Nov 21, 2018 by Administrator master
- Merged
updated Nov 21, 2018
pkg/updatecheck: bump latestReleaseKubernetesBuild to 2.13.5

!1079 · created Nov 20, 2018 by Administrator master
- Merged
updated Nov 20, 2018
external_services db table and graphql api

!1077 · created Nov 20, 2018 by Administrator master
- Merged
updated Nov 21, 2018
fix: don't retry on as many requests to not leak data

!1075 · created Nov 20, 2018 by Administrator master
- Merged
updated Sep 30, 2019
Fix GFM

!1074 · created Nov 20, 2018 by Administrator master
- Merged
updated Nov 20, 2018
clean up extensions UI code

!1073 · created Nov 20, 2018 by Administrator master
- Merged
updated Nov 20, 2018