diff --git a/public/local.js b/public/local.js index c2b9522..740f9f3 100644 --- a/public/local.js +++ b/public/local.js @@ -10,5 +10,23 @@ approve_button.textContent = approve_button.textContent + " (still WIP)"; } } + + // hide consecutive pushes + const pull_comments = document.querySelectorAll('.pull .comment-list .timeline-item') + var previous_forced_push = null; + for (var i=0; i