• Show log

    Commit

  • Hash : 8c13eaed
    Author : Carlos Martín Nieto
    Date : 2014-12-14T17:00:54

    fetch: prune after updating tips
    
    This makes a fetch+prune more similar to a connect+prune and makes it
    more likely that we see errors in the decision to prune a reference.