Sync working groups #15226

	name: Sync working groups

	env:
	JVM_VERSION: '25'

	on:
	schedule:
	- cron: '0 /3 * *' # every 3 hours
	workflow_dispatch:

	defaults:
	run:
	shell: bash

	jobs:
	sync:
	if: github.repository == 'quarkusio/quarkusio.github.io'
	runs-on: ubuntu-latest
	environment: quarkus-push-website
	steps:
	- name: Generate GitHub App token
	id: generate-token
	uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
	with:
	app-id: ${{ secrets.QUARKUS_PUSH_WEBSITE_APP_ID }}
	private-key: ${{ secrets.QUARKUS_PUSH_WEBSITE_PRIVATE_KEY }}

	- uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
	with:
	ref: main
	token: ${{ steps.generate-token.outputs.token }}

	- name: Install JDK ${{ env.JVM_VERSION }}
	uses: actions/setup-java@1bcf9fb12cf4aa7d266a90ae39939e61372fe520 # v5.4.0
	with:
	distribution: temurin
	java-version: ${{ env.JVM_VERSION }}

	- name: Set up JBang
	uses: jbangdev/setup-jbang@2b1b465a7b75f4222b81426f23a01e013aa7b95c # v0.1.1

	- name: Run script
	run: \|
	jbang --java ${JVM_VERSION} -Dworking-groups.output=_data/wg.yaml working-groups/main.java
	env:
	GITHUB_TOKEN: ${{ secrets.SYNC_WORKING_GROUP_TOKEN }}

	- name: Configure Git author
	run: \|
	git config --local user.email "action@github.com"
	git config --local user.name "GitHub Action"

	- name: Commit changes
	shell: bash
	run: \|
	git add _data/wg.yaml
	if [ -n "$(git status --porcelain)" ]; then
	git commit -am "Sync working groups"
	fi
	git pull origin main --rebase
	git push origin main

Navigation Menu