Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

planner: unsigned pk cannot be pushed as index column #11094

Merged
merged 13 commits into from
Jul 12, 2019
Merged

planner: unsigned pk cannot be pushed as index column #11094

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
868c7ef
planner: unsigned pk cannot be pushed as index column
winoros Jul 5, 2019
8715df2
Merge branch 'master' into disable-push-unsignedpk-to-index
winoros Jul 8, 2019
35efbb1
Merge branch 'master' into disable-push-unsignedpk-to-index
winoros Jul 8, 2019
7b104ae
Merge branch 'master' into disable-push-unsignedpk-to-index
winoros Jul 11, 2019
d62cd45
Merge branch 'master' into disable-push-unsignedpk-to-index
winoros Jul 11, 2019
be45e3a
Merge branch 'master' into disable-push-unsignedpk-to-index
winoros Jul 12, 2019
4e462df
fix merge error
winoros Jul 12, 2019
deb311f
Merge branch 'disable-push-unsignedpk-to-index' of https://github.com…
winoros Jul 12, 2019
809df47
address comments
winoros Jul 12, 2019
336cd10
Merge branch 'master' into disable-push-unsignedpk-to-index
zz-jason Jul 12, 2019
f028ab5
add test in executor package
winoros Jul 12, 2019
82233c3
Merge branch 'disable-push-unsignedpk-to-index' of https://github.com…
winoros Jul 12, 2019
3a03700
Merge branch 'master' into disable-push-unsignedpk-to-index
zz-jason Jul 12, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' into disable-push-unsignedpk-to-index
  • Loading branch information
@winoros
winoros committed Jul 12, 2019
commit be45e3a6ae77d4382158c701f23f11da15741223

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.