server: actually use git repository updates

before this, the server would fetch updates but then not update the
corresponding reference, leading to the initial state being checked out
and linted again.