mirror of
https://github.com/niels-emmer/myace.git
synced 2026-09-13 23:53:30 +02:00
[PR #105] [MERGED] docs: fix stale references to the removed GitHub-export button #104
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
github-mirrors/myace#104
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/niels-emmer/myace/pull/105
Author: @niels-emmer
Created: 8/15/2026
Status: ✅ Merged
Merged: 8/15/2026
Merged by: @niels-emmer
Base:
main← Head:docs/audit-post-104📝 Commits (1)
b105c52docs: fix stale references to the removed GitHub-export button📊 Changes
4 files changed (+20 additions, -13 deletions)
View changed files
📝
AGENTS.md(+10 -6)📝
README.md(+0 -2)📝
SECURITY.md(+4 -2)📝
docs/plan-collection-actions.md(+6 -3)📄 Description
Summary
Post-#104 doc audit. The frontend "Export to GitHub" button on
CollectionDetail.tsxwas removed in #104 (publishing now goes exclusively through "Publish to Community"), but several docs still described it as a live, UI-surfaced feature. The backend endpoint (POST /collections/{id}/export/github) andgithub_export.pyservice are untouched — only docs needed fixing.README.md— dropped the "Export back out" bullet from the Features list (no longer an accurate product feature description)AGENTS.mdrule 28 — replaced the stale "two things called export" bullet with one noting the button is gone and the endpoint is now direct-API-onlydocs/plan-collection-actions.md— noted the second supersession in the status bannerSECURITY.md— reworded the token-handling note to describe the API endpoint rather than a UI "feature"No functional/code changes — docs only.
Test plan
git diff --statconfirms doc-only diff)🤖 Generated with Claude Code
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.