sequenceDiagram
participant User
participant MCP Client
participant Browser
participant OAuth2 Server
participant MCP Server
User->>MCP Client: Install MCP server
MCP Server<<->>MCP Client: Obtain OAuth2 server info/URL
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
set -e -o pipefail | |
project=${1:-$(platform project:info id)} | |
default_route='https://{default}/' | |
route=${2:-$default_route} | |
prod='master' | |
other='' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
stages: | |
- review | |
- cleanup | |
variables: | |
# The Platform.sh project ID. | |
PF_PROJECT_ID: abcdefg123456 | |
push-platformsh: | |
# This Docker image installs the Platform.sh CLI (and PHP, Git and SSH). |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
/** | |
* Get a URL, with automatic retries. | |
* | |
* @param \GuzzleHttp\Client $client | |
* @param string $url | |
* @param int|float $timeout | |
* @param int $max_attempts | |
* | |
* @throws \GuzzleHttp\Exception\RequestException |
I hereby claim:
- I am pjcdawkins on github.
- I am pjcdawkins (https://keybase.io/pjcdawkins) on keybase.
- I have a public key whose fingerprint is 2D1D 8268 AC34 74DC 8718 41EE 0142 FAA3 9EC3 B454
To claim this, I am signing this object:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
set -e | |
### ABOUT ### | |
# This is a Jenkins build script which integrates with the GitHub Pull Request | |
# Builder plugin. | |
### ENVIRONMENT VARIABLES ### | |
# PF_PROJECT_ID Required: your Platform.sh project ID. | |
# PF_CLUSTER Required: the cluster for your project ('eu' or 'us'). |