Dev Workflow
Git, GitHub, CI/CD, automation, backups, and developer productivity
Technical Blog
Practical notes on automation, deployment, and developer workflows
Right now the site is grounded in three solid tracks: Docker and server deployment, Git workflow habits, and Markdown-driven publishing pipelines. AI automation content will expand on top of that, so the homepage now pushes topic hubs and flagship posts first instead of acting like a plain feed.
Recent Updates
OpenQodex 0.11.0 Tested: Why Git Push May Still Succeed After an Incomplete Review
Hands-on OpenQodex 0.11.0 ShellCheck and Git pre-push tests, plus source-level analysis of incomplete AI review and fail-open behavior.
Astro Check Breaks with TypeScript 7: Fix the Dependency, Don't Remove Type Checking
Why Astro check can fail after TypeScript 7, what the native compiler and peer range change, and how one real project restored CI without dropping its type-check gate.
ChatGPT Web + GitHub + Self-hosted Runner: Develop Anywhere, Deploy Through GitHub
Decouple development from one laptop: keep code and review state in GitHub, run builds and deployments on a Self-hosted Runner, use Codex/cloud tools for collaboration, and keep SSH for deep diagnosis and emergencies.
How to Mirror a Public GitHub Repository to Your Own Private Repository
Use git clone --mirror, git push --mirror, and GitHub CLI to keep a private mirror of a public GitHub repository, including incremental sync, Git LFS, verification, and mirror safety.
Back Up Notion to GitHub with the Official API and GitHub Actions
This workflow uses a Notion Internal Integration, GitHub Actions, notion-client, and notion2md to export Notion content to GitHub with recursive page traversal and cleaner file names.
Git Worktree for Parallel Branch Development: a Clean Isolated Workflow
If you keep switching branches while fixing bugs and building new features, Git worktree is one of the cleanest ways to avoid cross-contamination: keep main stable and give every feature its own directory.