tree c499cf7ac25842c818d31c690bedb602940e13db
parent 032ec287ec496117dc85cd0e9c9224b2b17f5398
parent 841b62a321b3739381b48aeea7364126d1c54520
author Máximo Cuadros <mcuadros@gmail.com> 1505208029 +0200
committer GitHub <noreply@github.com> 1505208029 +0200

Merge pull request #586 from keybase/strib/commit-preorder-seen-gh-master

plumbing: the commit walker can skip externally-seen commits