Merge requests · Administrator / sourcegraph · GitLab

DONOTMERGE: noop commit to see what codecov says

!598 · created Oct 30, 2018 by Administrator master
- Closed
updated Oct 30, 2018
Move the browser-extensions repo (and others) into this repo 2 of 8 checklist items completed

!596 · created Oct 30, 2018 by Administrator master
- Merged
updated Nov 05, 2018
feat: add Explore area

!594 · created Oct 30, 2018 by Administrator October 2018 master
- Merged
updated Oct 30, 2018
chore: gomvpkg xlang/uri

!593 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
feat: remove now-unused ref: search keyword

!592 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
feat: remove now-unused fetchServerCapabilities

!591 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
feat: remove Repository.listTotalRefs from GraphQL API

!590 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
feat: remove non-indexed dependencies and packages

!589 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
feat: require explicit revision for repository symbols

!588 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
Use true-up pricing in dev mode

!587 · created Oct 30, 2018 by Administrator master
- Closed
updated Sep 30, 2019
fix: calculate and show accurate count of max users per license

!586 · created Oct 30, 2018 by Administrator master
- Merged
updated Nov 08, 2018
Language support via Sourcegraph extensions 6 of 8 checklist items completed

!584 · created Oct 30, 2018 by Administrator master
- Merged
updated Dec 13, 2018
fix: restore hasCodeIntelligence

!583 · created Oct 30, 2018 by Administrator master
- Merged
updated Oct 30, 2018
remove unnecessary hooks

!582 · created Oct 29, 2018 by Administrator master
- Merged
updated Oct 29, 2018
fix typo in enterprise ReadMe

!581 · created Oct 29, 2018 by Administrator master
- Merged
updated Oct 29, 2018
move conf.DefaultServerFrontendOnly to cmd/frontend

!578 · created Oct 29, 2018 by Administrator master
- Merged
updated Oct 30, 2018
deployment / pure-Docker simplifications

!575 · created Oct 29, 2018 by Administrator master
- Merged
updated Oct 30, 2018
New repo-updater scheduler

!573 · created Oct 29, 2018 by Administrator master
- Merged
updated Nov 10, 2018
remove Docker lang server management

!571 · created Oct 29, 2018 by Administrator master
- Merged
updated Oct 29, 2018
show nicer message for unauthed users who try to use extensions

!570 · created Oct 29, 2018 by Administrator master
- Merged
updated Oct 29, 2018