Skip to content
New issue

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

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

Already on GitHub? # to your account

Use local_manifests/local.xml rather than local_manifest.xml #42

Merged
merged 1 commit into from
Jan 10, 2017

Conversation

aswild
Copy link

@aswild aswild commented Jan 7, 2017

Using .repo/local_manifest.xml has been deprecated for a while, and
prints a warning which dirtys the build log, so adopt the new convention
of .repo/local_manifests/*.xml. I arbitrarily chose "local.xml" for the
file name.

Change-Id: Iaef7077312ce8a1cb195143011ca4ebcaf9e209b

Using .repo/local_manifest.xml has been deprecated for a while, and
prints a warning which dirtys the build log, so adopt the new convention
of .repo/local_manifests/*.xml. I arbitrarily chose "local.xml" for the
file name.

Change-Id: Iaef7077312ce8a1cb195143011ca4ebcaf9e209b
@rsandell rsandell merged commit 57eff0c into jenkinsci:master Jan 10, 2017
@aswild aswild deleted the pull/local_manifest branch January 18, 2017 23:24
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants