Getting software right is hard. It takes knowledge and skills that most young programmers haven’t yet acquired. It requires thought and insight that most programmers don’t take the time to develop. It requires a level of discipline and dedication that most programmers never dreamed they’d need.
Mostly, it takes a passion for the craft and the desire to be a professional.

Robert C. Martin

git: Pushing to a Remote Branch with a Different Name

Pen and Pants

Normally when I do a push in git I do something like git push origin master, which really means push from the local branch named master to the remote branch named master. If you want to push to a remote branch with a different name than your local branch, separate the local and remote names with a colon:

git push origin local-name:remote-name

View original post

Resizing Vagrant machine hard drive

I was setting up a site this morning when started seeing this error cannot create temp file for here-document: No space left on device, I couldn’t successfully import a database or even cd into any folder on the machine.

After trying a few things I found this gist: https://gist.github.com/christopher-hopper/9755310 which successfully helped me fix the issue.

In my case I only followed steps 1-9, further steps weren’t necessary.