Archive
GitHub
-
How to Push to Multiple Git Repositories Simultaneously
Keeping two distinct Git repositories in sync—like a public GitHub repository and a private internal Git server—can be a tedious chore if you are manually pushing to them one by one. If one push succeeds and the other is forgotten, your codebases immediately drift out of sync. The most elegant solution is configuring a “dual-push”…
-
How I Develop Apps On My Phone While Sitting in Manila Traffic
Dev tools have officially gotten to the point where a mobile phone is now a legitimate place to ship code from. Not “read the code.” Not “approve a PR.” Actually implement a feature and have it live on your server two minutes later.
