Skip to content

Conversation

dpordomingo
Copy link
Contributor

Blocked by #236

Required by #214 #215
This PR is part of the strategy defined by https://github.com/src-d/issues-infrastructure/issues/152#issuecomment-378716710

Before merging, and before deploying, it should be run the migrations from #221

@dpordomingo dpordomingo added the enhancement Improvements are needed over an existent feature label Apr 6, 2018
@dpordomingo dpordomingo self-assigned this Apr 6, 2018
Prepare Production, and make Staging private
@dpordomingo dpordomingo merged commit f3023d3 into master Apr 9, 2018
@dpordomingo dpordomingo deleted the release/v0.1 branch April 9, 2018 10:10
@dpordomingo dpordomingo changed the title [WIP] release/v0.1 Adding UASTs + Going to Prod release/v0.1 Adding UASTs + Going to Prod Apr 9, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement Improvements are needed over an existent feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants