Skip to content

Instantly share code, notes, and snippets.

@zeqk
Last active June 28, 2019 17:02
Show Gist options
  • Save zeqk/8857989e2728d7f14fe3956ea15cf800 to your computer and use it in GitHub Desktop.
Save zeqk/8857989e2728d7f14fe3956ea15cf800 to your computer and use it in GitHub Desktop.

Notes

Delete remote branch

git push origin --delete the_remote_branch

Batch get size

for D in *; do [ -d "${D}" ] && cd ${D} && pwd && (git count-objects -v) && cd .. && echo _______________  ; done 
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment