Skip to content
This repository has been archived by the owner on Jul 2, 2024. It is now read-only.

Do not dispatch for jenkins jobs #235

Merged
merged 1 commit into from
May 8, 2024
Merged

Conversation

timtebeek
Copy link
Contributor

This previously triggered the creation of jobs; would we need a replacement? Is this project's CSV still used? Should we rename this project?

@timtebeek timtebeek requested review from sjungling and pstreef May 8, 2024 08:12
@timtebeek timtebeek self-assigned this May 8, 2024
@timtebeek timtebeek added the question Further information is requested label May 8, 2024
@timtebeek timtebeek merged commit 17c2e80 into main May 8, 2024
1 check passed
@timtebeek timtebeek deleted the do-not-dispatch-for-jenkins-jobs branch May 8, 2024 08:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
question Further information is requested
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants