Arash M. aramodi

🎯

Working on something new - stay tuned!

Trying to make the world better, one commit at a time.

stuart11n / gist:9628955

Created March 18, 2014 20:34

rename git branch locally and remotely

	git branch -m old_branch new_branch # Rename branch locally
	git push origin :old_branch # Delete the old branch
	git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote

cowboy / github_post_recieve.php

Created October 11, 2010 02:04

GitHub PHP webhook to auto-pull on repo push

	<?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