Skip to content

fix(tui): clipboard worker GDI+ handle leak + X11 target noise #48

fix(tui): clipboard worker GDI+ handle leak + X11 target noise

fix(tui): clipboard worker GDI+ handle leak + X11 target noise #48

Workflow file for this run

name: Brigadiers
# Keep the "🦁 Brigadiers" contributor wall in README.md instant + fresh: on every
# merge to main a bot regenerates it from the live contributor graph and commits
# the change (only when it actually changed), so a new contributor's avatar shows
# up within ~a minute of their PR landing. Weekly + manual runs are backstops.
on:
push:
branches: [main]
schedule:
- cron: "0 6 * * 1" # Mondays 06:00 UTC
workflow_dispatch:
permissions:
contents: write
concurrency:
group: brigadiers
cancel-in-progress: false
jobs:
update:
runs-on: ubuntu-latest
# Don't react to the bot's own wall commit (a GITHUB_TOKEN push doesn't
# re-trigger workflows anyway — this is belt-and-suspenders).
if: github.actor != 'github-actions[bot]'
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: 22
- name: Regenerate the Brigadiers wall
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: node scripts/update-brigadiers.mjs
- name: Commit if the wall changed
run: |
if [[ -n "$(git status --porcelain README.md)" ]]; then
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
git add README.md
git commit -m "docs: refresh Brigadiers contributor wall [skip ci]"
git push
else
echo "Brigadiers wall unchanged — nothing to commit."
fi