piscisaureus

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

nikic

<?php

/*
 * Note: This script will directly modify the .php files in the given directory.
 * It is assumed that the code is under version control, so you can easily review
 * the changes using `git diff` or similar.
 */

function usageError() {
    die("Usage: php -d asp_tags=1 portAlternativeTags.php dir/\n");