Skip to content
This repository was archived by the owner on Sep 14, 2021. It is now read-only.

Dart+Kotlin support; various maintenance / improvements #18

Merged
merged 5 commits into from
Feb 12, 2019

Conversation

emidoots
Copy link
Member

Helps sourcegraph/sourcegraph#2
Helps sourcegraph/sourcegraph#2011
Fixes #8

@emidoots emidoots merged commit 40b42c9 into master Feb 12, 2019
@emidoots emidoots deleted the sg/improvements branch February 12, 2019 21:35
emidoots pushed a commit that referenced this pull request Aug 30, 2019
emidoots pushed a commit that referenced this pull request Aug 30, 2019
* Revert "Continue serving requests when highlighting an individual file fails (#20)"

This reverts commit 5e1efbb.

* Revert "Dart+Kotlin support; various maintenance / improvements (#18)"

This reverts commit 40b42c9.
emidoots pushed a commit that referenced this pull request Oct 2, 2019
Previously, Docker builds without relying on the host were added as part of #18
but later reverted for an unrelated reason. This approach is better for two
reasons:

1. The version of Rust nightly is pinned, so it'll always work (e.g. right now
   we can't use the latest nightly).
2. We now use `sourcegraph/alpine` as our base image, which sets up a `sourcegraph`
   user for us.

Fixes #8 again.
emidoots pushed a commit that referenced this pull request Oct 2, 2019
Previously, Docker builds without relying on the host were added as part of #18
but later reverted for an unrelated reason. This approach is better for two
reasons:

1. The version of Rust nightly is pinned, so it'll always work (e.g. right now
   we can't use the latest nightly).
2. We now use `sourcegraph/alpine` as our base image, which sets up a `sourcegraph`
   user for us.

Fixes #8 again.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant