Skip to content

ci: add issues and PRs to FOC project board#74

Merged
BigLep merged 1 commit into
masterfrom
ci/add-issues-and-prs-to-project-board
Jul 6, 2026
Merged

ci: add issues and PRs to FOC project board#74
BigLep merged 1 commit into
masterfrom
ci/add-issues-and-prs-to-project-board

Conversation

@BigLep

@BigLep BigLep commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

What

Adds the standard FilOzone workflow that automatically adds newly opened issues and PRs to the FOC project board (org project #14).

Why

An audit of issues/PRs opened across the FilOzone org in the last two weeks found that every recent item in this repo was missing from the FOC board, because this repo had no auto-add automation. Items had to be added manually (the existing backlog has now been added by hand).

This file is the canonical version copied from FilOzone/github-mgmt, modeled on synapse-sdk#700:

  • triggers on issues: opened and pull_request_target: opened (the latter so fork PRs are covered)
  • pins actions/add-to-project to a specific commit hash (v2.0.0)
  • continue-on-error so it does not fail when an item is already on the board

Prerequisite

Requires the FILOZZY_CI_ADD_TO_PROJECT secret to be available to this repo (repo secret, or org secret with this repo selected). If it is not yet granted, the workflow will run but be unable to add items until the secret is provisioned.

Adds the standard FilOzone workflow that auto-adds newly opened issues
and PRs to the FOC project board (org project #14), matching the
canonical version in FilOzone/github-mgmt and FilOzone/synapse-sdk.

This repo previously had no such automation, so recently opened items
had to be added to the board manually. Requires the
FILOZZY_CI_ADD_TO_PROJECT secret to be available to this repo.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings July 6, 2026 19:41
@BigLep BigLep added this to FOC Jul 6, 2026
@github-project-automation github-project-automation Bot moved this to 📌 Triage in FOC Jul 6, 2026
@BigLep BigLep merged commit ec628b5 into master Jul 6, 2026
4 checks passed
@BigLep BigLep deleted the ci/add-issues-and-prs-to-project-board branch July 6, 2026 19:42
@github-project-automation github-project-automation Bot moved this from 📌 Triage to 🎉 Done in FOC Jul 6, 2026

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a GitHub Actions workflow to automatically add newly opened issues and pull requests in this repo to the FilOzone org project board (#14), reducing manual project-board triage.

Changes:

  • Introduces a workflow triggered on issues: opened and pull_request_target: opened to auto-add items to org project #14.
  • Uses actions/add-to-project pinned to a specific commit and sets continue-on-error to avoid failing when items already exist on the board.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

# See https://github.com/FilOzone/github-mgmt/blob/master/files/workflows/add-issues-and-prs-to-fs-project-board.yml for more info.
######################################################################################

# This action adds all issues and PRs to the FS project board.
# It is triggered by the issue and PR events.
# It assumes a `FILOZZY_CI_ADD_TO_PROJECT` secret is set in the repo.
# This secret should have the permissions outlined in https://github.com/actions/add-to-project?tab=readme-ov-file#creating-a-pat-and-adding-it-to-your-repository
name: Add issues and PRs to FS project board
Comment on lines +28 to +30

jobs:
add-to-project:
# pull_request_target runs the workflow file from the base branch (main),
# not from the PR branch, so attackers cannot modify this workflow via PR.
# This action does not check out nor execute user code so we should be safe.
# We also hardcode to specific hash to ensure no unintended changes underneath us.

jobs:
add-to-project:
name: Add all issues and prs to project
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

2 participants