tree 54675ba97a4b813e38630195e821b93553543098
parent cb3272280ba9cbe8a3961e9244170129eb9a246b
parent 467cb2aaa00ac30a8d2b5cc5b93951dad917ceb4
author Máximo Cuadros <mcuadros@gmail.com> 1503945538 +0200
committer GitHub <noreply@github.com> 1503945538 +0200

Merge pull request #567 from strib/avoid-revlist-when-deleting

remote: avoid expensive revlist operation when only deleting refs