entrouvert
/
publik-infra
16
0
Fork 0
Code Issues Pull Requests Releases Activity

add two more error messages to ignore (#78679) #3

Merged
pducroquet merged 1 commits from wip/78679 into main 2023-08-23 17:03:48 +02:00
Conversation 0 Commits 1 Files Changed 1 +2
pducroquet commented 2023-08-23 13:37:17 +02:00
Owner
Copy Link

Interrupted SSH sessions from bots should be ignored.

Interrupted SSH sessions from bots should be ignored.
pducroquet added 1 commit 2023-08-23 13:37:17 +02:00
gitea/publik-infra/pipeline/head This commit looks good Details
fedaf4684f add two more error messages to ignore (#78679)
gbaffoin approved these changes 2023-08-23 17:01:08 +02:00
gbaffoin left a comment
Owner
Copy Link

OK avec un nouveau tag v0.27 pour esperer avoir un build :-)

OK avec un nouveau tag v0.27 pour esperer avoir un build :-)
pducroquet merged commit fedaf4684f into main 2023-08-23 17:03:48 +02:00
pducroquet deleted branch wip/78679 2023-08-23 17:03:48 +02:00
Sign in to join this conversation.
Reviewers
No reviewers
gbaffoin
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
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/publik-infra#3
No description provided.
Delete Branch "wip/78679"

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?