Skip to content

Update: DoltHub.Dolt version 0.31.0#46417

Merged
1 commit merged intomicrosoft:masterfrom
vedantmgoyal9:DoltHub.Dolt-0.31.0-3BC345C9AC8EE1
Feb 15, 2022
Merged

Update: DoltHub.Dolt version 0.31.0#46417
1 commit merged intomicrosoft:masterfrom
vedantmgoyal9:DoltHub.Dolt-0.31.0-3BC345C9AC8EE1

Conversation

@vedantmgoyal9
Copy link
Copy Markdown
Contributor

@vedantmgoyal9 vedantmgoyal9 commented Feb 15, 2022

  • Have you signed the Contributor License Agreement?
  • Have you checked that there aren't other open pull requests for the same manifest update/change?
  • Have you validated your manifest locally with winget validate --manifest <path>?
  • Have you tested your manifest locally with winget install --manifest <path>?
  • Does your manifest conform to the 1.0 schema?
Microsoft Reviewers: Open in CodeFlow

@wingetbot
Copy link
Copy Markdown
Collaborator

Service Badge  Service Badge  

@wingetbot
Copy link
Copy Markdown
Collaborator

/AzurePipelines run

@azure-pipelines
Copy link
Copy Markdown

Azure Pipelines successfully started running 1 pipeline(s).

@ghost ghost added the Moderator-Approved One of the Moderators has reviewed and approved this PR label Feb 15, 2022
@wingetbot wingetbot added Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Validation-Completed Validation passed labels Feb 15, 2022
@ghost
Copy link
Copy Markdown

ghost commented Feb 15, 2022

Hello @wingetbot!

Because this pull request has the Validation-Completed label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

@ghost
Copy link
Copy Markdown

ghost commented Feb 15, 2022

Hello @vedantmgoyal2009,
Validation has completed.

@ghost ghost merged commit 5154c94 into microsoft:master Feb 15, 2022
@wingetbot
Copy link
Copy Markdown
Collaborator

Publish pipeline succeeded for this Pull Request. Once you refresh your index, this change should be present.

@OfficialEsco OfficialEsco deleted the DoltHub.Dolt-0.31.0-3BC345C9AC8EE1 branch February 15, 2022 16:04
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Moderator-Approved One of the Moderators has reviewed and approved this PR Validation-Completed Validation passed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants