Skip to content

chore: remove afi-labs from the repository map (org 20 → 19) - #7

Merged
Gio2050 merged 1 commit into
mainfrom
chore/remove-afi-labs-refs
Jul 17, 2026
Merged

chore: remove afi-labs from the repository map (org 20 → 19)#7
Gio2050 merged 1 commit into
mainfrom
chore/remove-afi-labs-refs

Conversation

@Gio2050

@Gio2050 Gio2050 commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

The private afi-labs research/prototyping repository is being permanently removed from the org. Removes its row from the navigation map, sets the org total 20 → 19 and the "Research and records" group count 4 → 3 (category counts stay internally consistent: 3+6+4+3+3=19). No AFI Research Institute content moved or reframed; the research posture (afi-econ, afi-benchkit, afi-artifacts) is intact.

🤖 Generated with Claude Code

The private afi-labs research/prototyping repository is being permanently
removed from the org. Drop its row from the navigation map, set the org total
20 -> 19, and the Research and records group count 4 -> 3 (categories remain
internally consistent: 3+6+4+3+3=19). AFI Research Institute / research posture
(afi-econ, afi-benchkit, afi-artifacts) unchanged.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@cursor

cursor Bot commented Jul 17, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@Gio2050
Gio2050 merged commit 28e9fe9 into main Jul 17, 2026
1 of 2 checks passed
@Gio2050
Gio2050 deleted the chore/remove-afi-labs-refs branch July 17, 2026 11:11
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.

1 participant