js: hide consecutive pushes (#77793) #8
Loading…
Reference in New Issue
No description provided.
Delete Branch "wip/77793-hide-consecutive-pushes"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
30b3a17f05
to7c09deef43
@ -13,0 +16,4 @@
var previous_forced_push = null;
for (var i=0; i<pull_comments.length; i++) {
var is_this_forced_push = (pull_comments[i].textContent.search('a forcé la poussée') != -1 ||
pull_comments[i].textContent.search('force-pushed') != -1)
J'ai testé la VF et pour la VO je me suis juste basé sur le code.