---
id: TASK-7
title: Push to GitHub mirror
status: To Do
assignee: []
created_date: '2026-02-17 01:09'
labels: []
dependencies: []
priority: low
---

## Description

<!-- SECTION:DESCRIPTION:BEGIN -->
Add GitHub remote and push to github.com for public visibility. Set up Gitea push mirror if desired.
<!-- SECTION:DESCRIPTION:END -->