Skip to content

/pg_shard-old

Rename project #18

Merged
merged 2 commits into from Jun 17, 2014

Labels

None yet

Milestone

No milestone

Assignees

No one assigned

1 participant

@jasonmp85
@jasonmp85
Citus Data member
jasonmp85 commented Jun 17, 2014

I've rewound develop to the last non-FDW point and am moving forward with a hook-based implementation and all review feedback received thus far.

The first step is to rename the repo using our final name.

@jasonmp85
Citus Data member
jasonmp85 commented Jun 17, 2014

Just opened this up to leave a record. Merging now.

@jasonmp85 jasonmp85 merged commit a25c41c into develop Jun 17, 2014
@jasonmp85 jasonmp85 deleted the feature/rename branch Jun 17, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.