Commit 35a8a8c546fe3d0a5bc7df7cf418244133ccf238

Carlos Martín Nieto 2015-04-22T17:29:20

remote: move the tagopt setting to the fetch options This is another option which we should not be keeping in the remote, but is specific to each particular operation.