Git on ThetaSigma Labs

Github_push_and_tag

Sat, 16 May 2026 21:24:05 -0300

Option A — Squash all commits into one before pushing
#

git checkout --orphan release
git add -A
git commit -m "Beta_1.0.1"
git branch -D main
git branch -m main
git push origin main --force

This replaces the entire history with a single clean commit.

Option B — GitHub Releases (tag-based, history stays)
#

If the goal is just to publish a versioned release ZIP for users to download (not hide commits), use GitHub Releases: