summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainMerge pull request #52 from jemstep/Merge-reproduction-perf-improvementsjemstep-edward4 years
 
 
AgeCommit messageAuthor
2020-03-30Merge pull request #52 from jemstep/Merge-reproduction-perf-improvementsHEADmainjemstep-edward
2020-03-30Version bumpJustin Worthe
2020-03-30Replace temp repo clone from libgit with using the Git CLI and the --shared flagJustin Worthe
2020-03-30Rearranged checks so that the expensive reproducing merge commit happens afte...Justin Worthe
2020-03-30Added a lazily-executed variant of policy result chainingJustin Worthe
2020-03-26Merge pull request #51 from jemstep/Missing-dir-issuejemstep-edward
2020-03-26Made temp repo cloning a bare clone to save in storage spaceJustin Worthe
2020-03-25Updated transitive dependenciesJustin Worthe
2020-03-25Added comment to explain LTO flogJustin Worthe
2020-03-25Removed unneccessary 'return'Justin Worthe
[...]