Skip to content

chore: standardize .biff with org peering#13

Merged
jmf-pobox merged 1 commit intomainfrom
chore/biff-org
Mar 28, 2026
Merged

chore: standardize .biff with org peering#13
jmf-pobox merged 1 commit intomainfrom
chore/biff-org

Conversation

@jmf-pobox
Copy link
Copy Markdown
Contributor

@jmf-pobox jmf-pobox commented Mar 28, 2026

Replaces per-repo peer lists with orgs = ["punt-labs"] for org-wide biff communication.

Summary

  • Standardize .biff config across all punt-labs repos
  • Use [peers] orgs instead of explicit repo lists
  • Add [team] section with standard members

Test plan

  • biff doctor passes in each repo
  • /who shows cross-repo presence

Note

Low Risk
Low risk config-only change that affects how biff discovers peers and team members; potential impact is limited to developer tooling/communication if misconfigured.

Overview
Standardizes the repository’s biff configuration by adding a new .biff file with a shared [team] member list, a fixed relay URL, and org-wide peering via [peers] orgs = ["punt-labs"] instead of per-repo peer lists.

Written by Cursor Bugbot for commit 2c35cfd. This will update automatically on new commits. Configure here.

Copilot AI review requested due to automatic review settings March 28, 2026 01:17
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Adds an org-standard .biff configuration to enable cross-repo communication via org peering for punt-labs repositories.

Changes:

  • Introduces a new .biff config with a standard [team] member list.
  • Configures the standard relay endpoint under [relay].
  • Switches peering to org-based discovery via [peers].orgs = ["punt-labs"].

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

@jmf-pobox jmf-pobox merged commit e44648d into main Mar 28, 2026
11 checks passed
@jmf-pobox jmf-pobox deleted the chore/biff-org branch March 28, 2026 01:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants