Skip to content

Instantly share code, notes, and snippets.

@newmen

newmen/pull

Created November 9, 2025 19:54
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save newmen/350400393ca4ad26dd40a9262c4d536f to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save newmen/350400393ca4ad26dd40a9262c4d536f to your computer and use it in GitHub Desktop.
Download ZIP
git pull/push
Raw
pull
#!/bin/sh
git fetch
current=`git branch --show-current`
git pull origin $current
Raw
push
#!/bin/sh
current=`git branch --show-current`
git push origin $current $@
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment