Skip to content

Conversation

@joshsmith
Copy link
Contributor

@joshsmith joshsmith commented Oct 17, 2017

What's in this PR?

This adds missing unique indexes for github_id to GithubComment, GithubIssue, and GithubRepo.

References

Fixes #1076

Copy link
Contributor

@begedin begedin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is gonna need unique constraints on respective changesets to. I'll add them.

@begedin begedin force-pushed the 1076-add-missing-github-id-indexes branch from 4c70b43 to 797f854 Compare October 18, 2017 07:16
begedin
begedin previously approved these changes Oct 18, 2017
@begedin begedin force-pushed the 1076-add-missing-github-id-indexes branch from 797f854 to cc21eee Compare October 18, 2017 07:16
@joshsmith
Copy link
Contributor Author

👍

@begedin begedin merged commit f9f151f into develop Oct 18, 2017
@begedin begedin deleted the 1076-add-missing-github-id-indexes branch October 18, 2017 07:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants