Skip to content

New version: Sourcegraph.Amp version 0.0.1792987309-gb46681 - #461956

Merged
microsoft-github-policy-service[bot] merged 2 commits into
microsoft:masterfrom
SpecterShell:Sourcegraph.Amp-0.0.1792987309-gb46681-1752616789
Oct 26, 2026
Merged

microsoft-github-policy-service[bot] merged 2 commits into
microsoft:masterfrom
SpecterShell:Sourcegraph.Amp-0.0.1792987309-gb46681-1752616789

Conversation

@spectopo

@spectopo spectobot (spectopo) commented Oct 26, 2026 •

Copy link
Copy Markdown
Contributor

Automated by 🥟 SpecterShell/Dumplings in workflow run #24893.

Microsoft Reviewers: Open in CodeFlow

@microsoft-github-policy-service

Copy link
Copy Markdown
Contributor

Validation Pipeline Badge Publish Pipeline Badge

@wingetvalidator-prod wingetvalidator-prod Bot added New-Manifest The pull request adds new manifest content to the repository. Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Validation-Completed Validation passed labels Oct 26, 2026
@microsoft-github-policy-service

Copy link
Copy Markdown
Contributor

The check-in policies require a moderator to approve PRs from the community.

Our moderators are community volunteers, please be patient and allow them sufficient time to review your submission.

Template: msftbot/requiresApproval/moderator

@stephengillie Stephen Gillie (stephengillie) added the Moderator-Approved One of the Moderators has reviewed and approved this PR label Oct 26, 2026
@microsoft-github-policy-service
microsoft-github-policy-service Bot merged commit d291203 into microsoft:master Oct 26, 2026
131 checks passed
@microsoft-github-policy-service

Copy link
Copy Markdown
Contributor

Validation has completed.

Template: msftbot/validationCompleted

@spectopo
spectobot (spectopo) deleted the Sourcegraph.Amp-0.0.1792987309-gb46681-1752616789 branch October 26, 2026 06:01
@wingetbot

Copy link
Copy Markdown
Collaborator

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

1 similar comment
@wingetbot

Copy link
Copy Markdown
Collaborator

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

@microsoft-github-policy-service microsoft-github-policy-service Bot added the Publish-Pipeline-Succeeded The package publishing pipeline completed successfully. label Oct 26, 2026
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 New-Manifest The pull request adds new manifest content to the repository. Publish-Pipeline-Succeeded The package publishing pipeline completed successfully. Validation-Completed Validation passed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants