Tracking branches
Instead of checking out origin/{name}
we should check out a normal tracking branch and use git pull
. Our history view should then integrate with that, so we can have a concept of an attached head (fetch updates documents automatically) and a detached one (looking at older commit).