Rename Mike* identifiers to Pip*
Bulk rename of upstream-shaped identifiers so the codebase reads as PIP end-to-end: MikeProject, MikeChat, MikeChatDetailOut, MikeCitationAnnotation, MikeDocument, MikeDocumentVersion, MikeEditAnnotation, MikeFolder, MikeMessage, MikeWorkflow, MikeIcon, MikeLayout -> Pip* mikeApi.ts -> pipApi.ts, mike-icon.tsx -> pip-icon.tsx application/mike-doc, application/mike-folder DnD MIME-likes -> pip-* mike:close-row-actions event -> pip:close-row-actions Removes the long-dead `mike` boolean prop on PipIcon and its three callsites. Backend defaults: chatTools system prompt is now PIP-branded and AU English-tuned (AGLC4 citations, metric, DD/MM/YYYY, no fabrication, not-legal-advice reminder). Org admins can still override via /admin/org-settings. Tracked-change author and change-id prefix flip from "Mike" to "PIP" so docx revisions surface the right name.
| Repository | cpatpa/PIP |
|---|---|
| Author | Claude <noreply@anthropic.com> |
| Authored | |
| Parents | 74e803c2 |
| Stats | 70 files changed , +359 , -364 |
| Part of | PIP branding and Mike→Pip identifier rename |
Capture this commit into my fork
Download a Markdown prompt that tells Claude how to port this
exact commit into your working tree. Run it via
claude -p < capture-commit-7d24a909.md
from inside the repo you want the change in.