Differences

This shows you the differences between two versions of the page.

--- projects:projects [2026/06/12 09:15] – [voyc release management] jhagstrand
+++ projects:projects [2026/06/16 03:27] (current) – [End Branch] jhagstrand
@@ Line 70: / Line 70: @@
 =====Developer Guidelines=====
+==== Tab Indents ====
+Always use the tab character to indent.
 ====.gitignore====
@@ Line 78: / Line 82: @@
   css.min
   index.php
+  RELEASES.md
 ==== Duplicate Content ====
@@ Line 202: / Line 206: @@
   git for-each-ref --sort=-version:refname --format="%(refname:short)%0a%(contents)%0a---" refs/tags
+Practices:
+  * Commits made only in feature branch.  Never on the master branch.
+  * We let aider auto-commit every change.
+  * At merge, we generally keep the detailed commits, but squash is optional.
+  * The commit log is for developers.
+  * At release, we create a tag, observing SemVer, with hand-written message.
+  * Public release history is generated from the tag messages.
+  * Conventional commits types are used only on the commit messages, not the tag messages.
+==== One-time Fix Privacy in Log ====
+  # in laptop dev repo
+  git checkout fixlog
+  git filter-repo --mailmap .mailmap --force
+  git checkout master
+  git merge fixlog
+  git branch -d fixlog
+  git push origin master --force --tags   # push to bare repo
+  git push gitlab master --force --tags   # push to gitlab
+==== Start Branch ====
+  git branch peaceful
+==== Save Work ====
+  # save work
+  git checkout peaceful
+  git push origin peaceful     # push feature branch to bare repo
+==== End Branch ====
+  git checkout master
+  git merge --squash peaceful
+  git commit -m 'squashed hand-written commit message'
+  git branch -D peaceful    # after squash the big -D force is required
+  git push origin master     # push master to bare repo
+  git push origin --delete peaceful  # delete feature branch from bare repo
+==== Deploy ====
+  git tag v0.2.0 -m'...'  # fancy hand-written tag message will become part of release history
+  git push origin master --tags
+  git push gitlab master --tags
+  # in production webserver
+  git fetch origin
+  git reset --hard origin/master
+  git push gitlab master --tags