Differences

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

--- projects:projects [2026/06/12 09:08] – [voyc release management] jhagstrand
+++ projects:projects [2026/06/12 21:14] (current) – [Deploy] 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 196: / Line 200: @@
 At deployment, a file named RELEASES.md is generated from the tag messages by a script.  It is not committed; it listed in .gitignore.
-[[git | more about log and tag]]
+[[..:git | more about log and tag]]
-Here are some ways developers can use log and tag commands.
-# All tags with their full messages, most recent first
+  # All tags with their full messages, most recent first
-git tag -l --sort=-version:refname | xargs -I{} git show {} --no-patch --pretty=format:"%tag %*%(tag)%n%s%n%b%n---"
+  git tag -l --sort=-version:refname | xargs -I{} git show {} --no-patch --pretty=format:"%tag %*%(tag)%n%s%n%b%n---"
+  git for-each-ref --sort=-version:refname --format="%(refname:short)%0a%(contents)%0a---" refs/tags
-git for-each-ref --sort=-version:refname \
+==== Deploy ====
-  --format="%(refname:short)%0a%(contents)%0a---" \
-  refs/tags
+  # in laptop dev repo
+  # git filter-repo --mailmap .mailmap --force
+  # lint
+  git checkout master
+  git merge blend
+  git branch -d blend
+  git tag v0.0.0 -m'...'
+  git push origin master --force --tags
+  git push origin --delete blend
+  # in production webserver
+  git fetch origin
+  git reset --hard origin/master
+  git push gitlab master --tags