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().
Showing
Please
register
or
sign in
to comment
A previous commit forgot to update the head list after push as well, leading to wrong output of git_remote_ls().