commits: dfdeef79d82e81357a276120a7d34738db460e48

This data as json

sha	message	author_date	committer_date	raw_author	raw_committer	repo	author	committer
dfdeef79d82e81357a276120a7d34738db460e48	Explicitly keep track of indexes with merging (#3234) * Explicitly keep track of indexes in merge.py * Typing fixes * More tying fixes * more typing fixes * fixup	2019-10-04T04:42:50Z	2019-10-04T04:42:50Z	f10b21bed2846b879806f87039b77245b18e7671	cd792325681cbad9f663f2879d8b69f1edbb678f	13221727	1217238	19864447