Differences

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

--- projects:projects [2026/06/12 09:36] – [.gitignore] jhagstrand
+++ projects:projects [2026/06/12 21:14] (current) – [Deploy] jhagstrand
@@ Line 206: / Line 206: @@
   git for-each-ref --sort=-version:refname --format="%(refname:short)%0a%(contents)%0a---" refs/tags
+==== Deploy ====
+  # 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