Good Blog, Karl
Random quasi-technical stuff I want to remember
About

topic: git

1 min read

Cleaning up dead git branches

A super neat git trick for finding out which branches we can delete when we want to do a little housekeeping

1 min read

pushing an existing local repo to new github repo

I usually start my projects with a local git repo and then at some later date decide to put it up on github.com. That’s usually a no-brainer if I’m the one who creates the remote repo; GitHub provides clear instructions on the very next page. But if the project is...

2 min read

Creating a new remote git repo

It took me a while to track down how to set up a new git repo on my remote server hosted by DreamHost. I imagine that most, if not all, of this stuff probably applies to any shared hosting service. Here’s what I have to do — in case I...

← All posts

Other topics