Skip to content
Mirror and run GitLab CI

jetty: drop per-client and global rate limiter #316

Sign in to view logs

jetty: drop per-client and global rate limiter

jetty: drop per-client and global rate limiter #316

Workflow file for this run

.github/workflows/mirror-rp.yml at c65b7b6
# SPDX-FileCopyrightText: 2025 DESY and the Constellation authors

Check warning on line 1 in .github/workflows/mirror-rp.yml

View workflow run for this annotation

GitHub Actions / Mirror and run GitLab CI

Workflow execution policy warning (evaluate mode) 

On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target
# SPDX-License-Identifier: CC0-1.0
name: Mirror and run GitLab CI
on:
pull_request_target:
types: [opened, synchronize, reopened, edited]
jobs:
sync:
runs-on: ubuntu-latest
env:
GITLAB_REPOSITORY: "gitlab.desy.de/dcache/dcache"
GITLAB_PROJECT_TOKEN: ${{ secrets.GITLAB_PASSWORD }}
REMOTE_TARGET_BRANCH: "master"
REMOTE_BRANCH_PREFIX: "github"
steps:
- name: Checkout PR branch
uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.ref }}
repository: ${{ github.event.pull_request.head.repo.full_name }}
fetch-depth: 0
- name: Add GitLab as remote
run: |
git remote add gitlab https://dcache:$GITLAB_PROJECT_TOKEN@$GITLAB_REPOSITORY.git
git fetch gitlab $REMOTE_TARGET_BRANCH
- name: Push branch to GitLab
env:
PR_AUTHOR: ${{ github.event.pull_request.user.login }}
PR_BRANCH: ${{ github.event.pull_request.head.ref }}
PR_TITLE: ${{ github.event.pull_request.title }}
PR_NUMBER: ${{ github.event.pull_request.number }}
PR_LINK: ${{ github.event.pull_request.html_url }}
PR_DESCRIPTION: ${{ github.event.pull_request.body }}
run: |
PR_DESCRIPTION="${PR_DESCRIPTION//$'\n'/\\n}" # escape newlines
git push gitlab --force "$PR_BRANCH:$REMOTE_BRANCH_PREFIX-$PR_AUTHOR-$PR_BRANCH" \
-o merge_request.create -o merge_request.target=$REMOTE_TARGET_BRANCH \
-o merge_request.title="$PR_TITLE" -o merge_request.label=github \
-o merge_request.description="[GitHub PR #$PR_NUMBER]($PR_LINK)\n\n$PR_DESCRIPTION"