js: hide consecutive pushes (#77793) #8

Merged
fpeters merged 1 commits from wip/77793-hide-consecutive-pushes into main 2023-05-23 07:11:19 +02:00
Owner
No description provided.
fpeters added 1 commit 2023-05-22 18:27:57 +02:00
gitea/gitea-eo-custom/pipeline/head This commit looks good Details
30b3a17f05
js: hide consecutive pushes (#77793)
fpeters force-pushed wip/77793-hide-consecutive-pushes from 30b3a17f05 to 7c09deef43 2023-05-22 18:32:18 +02:00 Compare
fpeters reviewed 2023-05-22 18:32:47 +02:00
@ -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)
Author
Owner

J'ai testé la VF et pour la VO je me suis juste basé sur le code.

J'ai testé la VF et pour la VO je me suis juste basé sur le code.
csechet approved these changes 2023-05-22 21:22:48 +02:00
fpeters merged commit 2557abc007 into main 2023-05-23 07:11:19 +02:00
fpeters deleted branch wip/77793-hide-consecutive-pushes 2023-05-23 07:11:19 +02:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/gitea-eo-custom#8
No description provided.