sync-upstream: parse merge commits w/ and w/o repo identifier#134

Merged

jonasnick merged 1 commit intoBlockstreamResearch:masterfrom real-or-random:202107-sync-upstream-repoid

Jul 12, 2021

+2-2

Commits on Jul 12, 2021

sync-upstream: parse merge commits w/ and w/o repo identifier
real-or-random
committed