remote: update head list on push A previous commit forgot to update the head list after push as well, leading to wrong output of git_remote_ls().
2013-11-11T15:32:13