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:
| #!/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'). |
I hereby claim:
To claim this, I am signing this object:
| <?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 |
| 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). |
| #!/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='' |
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| package main | |
| import ( | |
| "context" | |
| "fmt" | |
| "os" | |
| "runtime" | |
| "time" | |
| "github.com/maximhq/bifrost/core" |