My home computer is behind a corporate VPN firewall and is not accessible from outside.
I am trying to keep my github repo as identical as possible to my desktop's repo.
I have the following hooks:
.git/hooks/post-commit
: git push origin *:*
Now I realize that if I checkout a branch, commit, and merge that branch into master, I will have a "dangling" remote branch because the commit would have created that branch.
I tried googling for a "post-delete-branch" hook to call git push origin :$(branch)
but git does not provide this hook.
What can I do to remove dangling branches?
--mirror
switch topush
is probably what you want. – Nevik Rehnel