Merge branch 'diffsum-without-diffrepro' into 'master'

diffsum: option to omit diffrepro data from summary

See merge request !7
5 jobs for master
in 1 minute and 13 seconds and was queued for 9 seconds