magit/magit — pull request #1039 by tarsius (2013-11-08 11:38:09+00:00)
Title: Refresh at the right time

In a few cases where we should not refresh, stop doing so.
In a few cases where we should refresh, start doing so.