Commit 3eff2a57289ec19b1a805dd938299d1dcae47097

Carlos Martín Nieto 2015-04-22T16:11:10

remote: move the update_fetchhead setting to the options While this will rarely be different from the default, having it in the remote adds yet another setting it has to keep around and can affect its behaviour. Move it to the options.