drkdidel.be

Git: push/pull new branches to/from a remote repository

To push the branch newbranch to the remote repository origin:

$ git push -u origin newbranch

The -u option (we can also use the more verbose --set-upstream option) tells Git to also track this branch, thus allowing us to pull automatically future upstream commits using git pull.

To pull the branch newbranch from a remote repository origin, we first update our local repository:

$ git fetch origin

Then we create a local branch called newbranch and set it to track the upstream one:

$ git checkout --track origin/newbranch

PHP: write var_dump output directly into a log file

I just encountered a bug in a production environment that I could not reproduce in development. In order to debug it without disrupting the users, I used the following snippet to directly send the debug output into a log file.

ob_start();
var_dump($someVariable);
$contents = ob_get_contents();
ob_end_clean();
someLogFunction($contents);

Prefer var_dump to print_r as it would transform NULL and booleans (for example, FALSE would appear as an empty string).

Source

Git: untrack files without deleting them

$ git rm --cached pattern

The pattern can be a filename or a file glob pattern like folderName/* to untrack all the files in folderName.