Skip to content
This repository has been archived by the owner on Jan 23, 2023. It is now read-only.

update branding to 3.1.2 #8945

Closed
wants to merge 1 commit into from
Closed

update branding to 3.1.2 #8945

wants to merge 1 commit into from

Conversation

Anipik
Copy link

@Anipik Anipik commented Jan 7, 2020

No description provided.

@Anipik Anipik added the * NO MERGE * The PR is not ready for merge yet (see discussion for detailed reasons) label Jan 7, 2020
@Anipik Anipik requested review from mmitche and ericstj January 7, 2020 22:34
<PreReleaseVersionLabel>servicing</PreReleaseVersionLabel>
<!-- Enable to remove prerelease label. -->
<StabilizePackageVersion Condition="'$(StabilizePackageVersion)' == ''">true</StabilizePackageVersion>
<StabilizePackageVersion Condition="'$(StabilizePackageVersion)' == ''">false</StabilizePackageVersion>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This may cause pain downstream if merged because dotnet/runtime#639 is not fixed yet. /cc @nguerrera @wtgodbe

I believe the fix is pretty simple, just change <ItemGroup Condition="'$(StabilizePackageVersion)' == 'true'"> to <ItemGroup> below. Since this branch won't enter "master-branch mode" ever again, I believe this is fine. I only should need to find something better in dotnet/runtime.

Could you give it a try in this PR? We should be able to confirm the packages don't get created via the PR validation logs.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

i will give this a try

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should not make this false in the PR, btw.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes this was opened before ur email. I have edited this in all other open prs

@Anipik
Copy link
Author

Anipik commented Jan 14, 2020

closing this one as branding change needs to happen with other changes

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
* NO MERGE * The PR is not ready for merge yet (see discussion for detailed reasons)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants