Skip to content

Merge the latest pub to dev #24094

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

Jump to bottom
Closed
nex3 opened this issue Aug 14, 2015 · 5 comments
Closed

Merge the latest pub to dev #24094

nex3 opened this issue Aug 14, 2015 · 5 comments
Assignees
@whesse
Labels
area-infrastructure Use area-infrastructure for SDK infrastructure issues, like continuous integration bot changes. merge-to-dev
Milestone
1.12

Comments

@nex3
Copy link
Member

nex3 commented Aug 14, 2015

The commit 7c06881 needs to be be merged into stable. It contains two major pub features slated for 1.12: support for the Resource API in pub run and pub global run, and removal of implicit pub get calls.
[edit whesse]
also merge
57bf18c
and
6583429
[end edit]
@nex3 nex3 added area-infrastructure Use area-infrastructure for SDK infrastructure issues, like continuous integration bot changes. merge-to-stable labels Aug 14, 2015
@whesse whesse added this to the 1.12 milestone Aug 17, 2015
@whesse
Copy link
Contributor

whesse commented Aug 17, 2015

I think we want to merge this to dev - dev is the channel that 1.12 is on, and where 1.12 stable will come from. Stable is the channel with 1.11 on, that we are only merging major bug fixes to.

If you want to also merge to stable 1.11, after we merge this to dev 1.12, please file another mergeToStable bug. Changing this to MergeToDev.

@whesse whesse closed this as completed Aug 17, 2015
@whesse whesse reopened this Aug 17, 2015
@mit-mit
Copy link
Member

mit-mit commented Aug 17, 2015

Yes, this should go via Dev not via Stable.

@mit-mit mit-mit mentioned this issue Aug 17, 2015
Closed
@sethladd sethladd mentioned this issue Aug 17, 2015
Closed
12 tasks
@sethladd
Copy link
Contributor

Thanks @nex3 !

@nex3 nex3 changed the title Merge the latest pub to stable Merge the latest pub to dev Aug 17, 2015
@sethladd sethladd mentioned this issue Aug 17, 2015
Closed
7 tasks
@whesse
Copy link
Contributor

whesse commented Aug 18, 2015

Also the two commits
57bf18c
and
6583429
should be merged with this. They fix a test which was broken by the pub update.

@whesse
Copy link
Contributor

whesse commented Aug 18, 2015

Merged to 1.12.0-dev.5.5.

@whesse whesse closed this as completed Aug 18, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@whesse whesse

Labels
area-infrastructure Use area-infrastructure for SDK infrastructure issues, like continuous integration bot changes. merge-to-dev
Projects
None yet
Milestone
1.12
Development

No branches or pull requests
4 participants
@nex3 @sethladd @whesse @mit-mit