libgit2/libgit2 — pull request #1250 by jamill (2013-01-17 15:43:32+00:00)
Title: Update remote tips on push

This PR is to expose a function to update the client's remote tips after on a push operation. This is to handle the issue raised in #1179.

This takes some if the ideas from that discussion, but does not implement this in the `git_remote_update_tips` function.

The general algorithm here is to

for each push_status
find the corresponding remote ref that was updated (mapping done through the fetch spec)
find corresponding push ref spec
update the remote reference with the loid of the push spec (local / source id of the push ref spec)

The testing code might still need some polish, but I was hoping for some feedback on the overall algorithm.

/cc @carlosmn, @schu