Hello I have an issue with my clone1 repo not being updated w.r.t. what branches origin has:
Scenario: *When I push abranch to origin, it triggers a post-receive hook thatdeletes another-branch from origin* *clone1/abranch*> git push *origin/post-receive*> cd $(mktemp -t -d git.post-receive.XXXXXX) && git clone $origin clone2 && cd clone2 && git push origin :another-branch *The another-branch is actually deleted from origin* *origin/master*> git branch | grep 'another-branch' | wc -l 0 *Fetching the updated info from origin* *clone1/abranch*> git fetch *clone1/abranch*> git fetch --all *clone1/abranch*> git push -f *My clone1 still thinks origin has the deleted branch* *clone1/abranch*> git branch -r | grep 'origin/another-branch' origin/another-branch Neither git fetch, git fetch --all, git push -f nor git gc on either repo fixes this. Is this a bug or is there some other command to update clone1? Distributor ID: Ubuntu Description: Ubuntu 12.04.4 LTS Release: 12.04 Codename: precise > git --version git version 126.96.36.199 /Fredrik -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.