1. 2018-04-30 Re: [PATCH 8/9] get_short_oid / peel_onion: ^{tree} s git Eric Sunshine 2. 2018-04-30 [PATCH 8/9] get_short_oid / peel_onion: ^{tree} shoul git Ævar Arnfjörð B