Add config option to ignore non-distinct GitHub commits

This avoids flooding channels when long running branches are merged, for example.