Skip to main content
Glama

Azure MCP Server

Official
MIT License
1,161
  • Linux
  • Apple
git-push-changes.yml1.83 kB
parameters: BaseRepoBranch: not-specified BaseRepoOwner: azure-sdk CommitMsg: not-specified TargetRepoOwner: Azure TargetRepoName: $(Build.Repository.Name) PushArgs: WorkingDirectory: $(System.DefaultWorkingDirectory)' ScriptDirectory: eng/common/scripts SkipCheckingForChanges: false steps: - task: PowerShell@2 displayName: Check for changes condition: and(succeeded(), eq(${{ parameters.SkipCheckingForChanges }}, false)) inputs: pwsh: true workingDirectory: ${{ parameters.WorkingDirectory }} filePath: ${{ parameters.ScriptDirectory }}/check-for-git-changes.ps1 ignoreLASTEXITCODE: true - pwsh: | # Remove the repo owner from the front of the repo name if it exists there $repoName = "${{ parameters.TargetRepoName }}" -replace "^${{ parameters.TargetRepoOwner }}/", "" echo "##vso[task.setvariable variable=RepoNameWithoutOwner]$repoName" echo "RepoName = $repoName" displayName: Remove Repo Owner from Repo Name condition: succeeded() workingDirectory: ${{ parameters.WorkingDirectory }} - template: /eng/common/pipelines/templates/steps/emit-rate-limit-metrics.yml parameters: GitHubUser: azure-sdk GitHubToken: $(azuresdk-github-pat) - task: PowerShell@2 displayName: Push changes condition: and(succeeded(), eq(variables['HasChanges'], 'true')) inputs: pwsh: true workingDirectory: ${{ parameters.WorkingDirectory }} filePath: ${{ parameters.ScriptDirectory }}/git-branch-push.ps1 arguments: > -PRBranchName "${{ parameters.BaseRepoBranch }}" -CommitMsg "${{ parameters.CommitMsg }}" -GitUrl "https://$(azuresdk-github-pat)@github.com/${{ parameters.BaseRepoOwner }}/$(RepoNameWithoutOwner).git" -PushArgs "${{ parameters.PushArgs }}" -SkipCommit $${{ parameters.SkipCheckingForChanges }}

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/Azure/azure-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server