Skip to content

/ tidb

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.

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

Jump to bottom

license: add license for script files #14252

Merged
merged 5 commits into from Dec 28, 2019
Merged

license: add license for script files #14252

merged 5 commits into from Dec 28, 2019

Conversation

@francis0407
Copy link
Contributor

@francis0407 francis0407 commented Dec 26, 2019

What problem does this PR solve?

related to #14251, add license for script files to protect the copyright.

What is changed and how it works?

Check List

Related changes

  • Need to cherry-pick to the release branch
@francis0407
add license for bash script files
Loading status checks…
52f12d9
@francis0407 francis0407 requested review from zz-jason and ngaut Dec 26, 2019
@francis0407
Merge branch 'master' into sh_license
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
ef28703
@Deardrops
Copy link
Contributor

@Deardrops Deardrops commented Dec 26, 2019

LGTM
@francis0407
Copy link
Contributor Author

@francis0407 francis0407 commented Dec 26, 2019

Shall we cherry pick to release branch?
@wjhuang2016
wjhuang2016 reviewed Dec 27, 2019
View changes
Copy link
Member

@wjhuang2016 wjhuang2016 left a comment

lgtm
francis0407 added 2 commits Dec 27, 2019
@francis0407
add license for makefile & dockerfile
a5373b1
@francis0407
Merge remote-tracking branch 'origin/sh_license' into sh_license
Loading status checks…
0eeec35
@zz-jason
zz-jason approved these changes Dec 28, 2019
View changes
@sre-bot
Merge branch 'master' into sh_license
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
d94aa02
@sre-bot
Copy link
Contributor

@sre-bot sre-bot commented Dec 28, 2019

/run-all-tests
@sre-bot
Copy link
Contributor

@sre-bot sre-bot commented Dec 28, 2019

@francis0407 merge failed.
@zz-jason
Copy link
Member

@zz-jason zz-jason commented Dec 28, 2019

/run-integration-common-test
@ngaut ngaut merged commit c994eb4 into pingcap:master Dec 28, 2019
14 checks passed
14 checks passed
idc-jenkins-ci-tidb/build Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/build_check_race Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/check_dev Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/check_dev_2 Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/common-test job succeeded
Details
idc-jenkins-ci-tidb/integration-common-test Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/integration-compatibility-test Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/integration-copr-test Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/integration-ddl-test Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/mybatis-test job succeeded
Details
idc-jenkins-ci-tidb/sqllogic-test-1 Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/sqllogic-test-2 Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/unit-test Jenkins job succeeded.
Details
license/cla Contributor License Agreement is signed.
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wjhuang2016 wjhuang2016

@zz-jason zz-jason

@ngaut ngaut

Assignees
No one assigned
Labels
status/LGT2 status/can-merge
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

6 participants
@francis0407 @Deardrops @sre-bot @zz-jason @wjhuang2016 @ngaut