Joined March 2012
·

Toni Uebernickel

Senior Software Engineer
·
Cologne
·
·
·

Be aware: git revert is actually creating a new commit containing the reverse version of the patch resulting from the commit to revert. This may result in conflicts depending how far away the commit in question is from your current HEAD and what changed since then! git revert is not aware of changes between that commit and HEAD.

Posted to Keep a git fork up to date over 1 year ago

I got this alias, which is based on naming conventions.

https://gist.github.com/2046776

Alternative without sed: find . -type f -name '*.php' -exec php -l {} > /dev/null +

@vladimiroff Your command is doing something completely different.
You are comparing branches on your local repository, not the deployed branch with your local one.

production is a remote, not a branch!

Achievements
299 Karma
20,560 Total ProTip Views