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.

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

Update cms-git-tools to tip of branch. #1942

Merged
1 commit merged into from Nov 6, 2015
Merged

Update cms-git-tools to tip of branch. #1942

1 commit merged into from Nov 6, 2015

Conversation

ghost
Copy link

@ghost ghost commented Nov 5, 2015

@ghost
Copy link
Author

ghost commented Nov 5, 2015

@smuzaffar Is this okay? (I've tested it anyway)

@cmsbuild
Copy link
Contributor

cmsbuild commented Nov 6, 2015

+1
Tested at: e40cfa4
https://cmssdt.cern.ch/SDT/jenkins-artifacts/cmsdist-test-pr/PR-1942/37/summary.html

The following merge commits were also included on top of IB + this PR after doing git cms-merge-topic:
cms-sw/cmssw@Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
You can see more details here:
https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-1942/37/git-log-recent-commits
https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-1942/37/git-merge-result

ghost pushed a commit that referenced this pull request Nov 6, 2015
Update cms-git-tools to tip of branch.
@ghost ghost merged commit 8435906 into cms-sw:IB/CMSSW_8_0_X/stable Nov 6, 2015
@ghost ghost deleted the git-cms_80X branch November 6, 2015 10:57
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant