Skip to content

Update org membership, add sigstore-rust team (#702) #212

Update org membership, add sigstore-rust team (#702)

Update org membership, add sigstore-rust team (#702) #212

name: sync-changes-sigstore
on:
workflow_dispatch:
inputs:
preview:
description: "Dry run of the Pulumi changes"
required: false
default: false
type: boolean
push:
branches:
- main
paths:
- 'github-sync/github-data/sigstore/*.yaml'
- 'github-sync/Pulumi.github-prod.yaml'
permissions: {}
env:
PULUMI_ACCESS_TOKEN: ${{ secrets.PULUMI_ACCESS_TOKEN }}
GITHUB_OWNER: sigstore
jobs:
Update:
if: github.repository == 'sigstore/community'
name: sync-changes-sigstore
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
persist-credentials: false
- uses: sigstore/github-sync@main
if: ${{ inputs.preview }}
with:
work_dir: ./github-sync
config_directory: ./github-sync/github-data
stack_name: sigstore/github-prod
pulumi_access_token: ${{ secrets.PULUMI_ACCESS_TOKEN }}
pulumi_command: preview
gh_token: ${{ secrets.GITHUB_TOKEN }}
- uses: sigstore/github-sync@main
if: ${{ !inputs.preview }}
with:
work_dir: ./github-sync
config_directory: ./github-sync/github-data
stack_name: sigstore/github-prod
pulumi_access_token: ${{ secrets.PULUMI_ACCESS_TOKEN }}
pulumi_command: up
gh_token: ${{ secrets.GITHUB_TOKEN }}