Removed the push trigger. #16

Merged
Philipp merged 1 commits from removed-auto-push into main 2023-11-19 23:33:44 +01:00
Owner
No description provided.
Philipp added the
enhancement
label 2023-11-19 23:33:21 +01:00
Philipp added 1 commit 2023-11-19 23:33:24 +01:00
Philipp merged commit 46ec54e38a into main 2023-11-19 23:33:44 +01:00
Philipp deleted branch removed-auto-push 2023-11-19 23:33:45 +01:00
Sign in to join this conversation.
No description provided.