aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDanilo M. <danix@danix.xyz>2026-06-23 11:23:51 +0200
committerDanilo M. <danix@danix.xyz>2026-06-23 11:23:51 +0200
commit06b47c96059ce803281f22e367239c3755c92dff (patch)
treea4bc119d3bc142376069ec6eed0d5c137b37e7e8
parent9b2328bcb46b1b5fd074fdbc2c4bea8855220276 (diff)
downloadgitctl-06b47c96059ce803281f22e367239c3755c92dff.tar.gz
gitctl-06b47c96059ce803281f22e367239c3755c92dff.zip
docs: history squashed and pushed; note keep-it-clean rule
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
-rw-r--r--CLAUDE.md15
1 files changed, 8 insertions, 7 deletions
diff --git a/CLAUDE.md b/CLAUDE.md
index 267bac1..a56836c 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -82,10 +82,11 @@ two-phase repo create, desc, sync, idempotency, backups).
- Design doc and implementation plan live under `docs/` locally but are
gitignored (they hold personal server details); not part of the published repo.
-## Before the first push to a public remote
-
-Untracking the personal artifacts only scrubbed future commits. The early
-history (commits before the genericize commit) still contains real server
-details and the original prompt. **Squash to a single clean commit before
-pushing anywhere public** (e.g. `git checkout --orphan` a fresh root from the
-current tree, or `git filter-repo`). Do not push the existing history.
+## History is clean - keep it that way
+
+The development history (which held real server details and the original
+prompt) was squashed to a single root commit before the first push, so the
+current history is clean. The personal dev artifacts (`gitctl_prompt.txt`,
+`docs/`) remain gitignored. Do not commit personal server details (hostnames,
+ports, key names, RW rules, real owner strings) to tracked files; the only
+place a real name/email belongs is the GPLv2 copyright headers.