Garrett heygarrett

## pr.md

      
              1 file
            
          
              7 forks
            
          
              3 comments
            
          
              20 stars
            
          
                karlhorky
                / pr.md
            
            
              Last active
              November 2, 2023 13:44
                — forked from piscisaureus/pr.md
            
              
                Fetch all GitHub pull requests to local tracking branches
              
          
    NOTE
You may not need local branches for all pull requests in a repo.
To fetch only the ref of a single pull request that you need, use this:
git fetch origin pull/7324/head:pr-7324
git checkout pr-7324
# ...

  
## github_post_recieve.php
<?php

// Use in the "Post-Receive URLs" section of your GitHub repo.

if ( $_POST['payload'] ) {
  shell_exec( 'cd /srv/www/git-repo/ && git reset --hard HEAD && git pull' );
}

?>hi
	<?php

	// Use in the "Post-Receive URLs" section of your GitHub repo.

	if ( $_POST['payload'] ) {
	shell_exec( 'cd /srv/www/git-repo/ && git reset --hard HEAD && git pull' );
	}

	?>hi