removing github ci #1
jtom38
commented 2023-06-12 17:35:24 -07:00
Owner
No description provided.
jtom38
added 1 commit 2023-06-12 17:35:26 -07:00
removing github ci
5415e957c0
jtom38
merged commit 18c3fac57f into master 2023-06-12 17:35:35 -07:00
jtom38
referenced this issue from a commit 2023-06-12 17:35:35 -07:00
Merge pull request 'removing github ci' (#1) from features/remove-github-ci into master
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "features/remove-github-ci"
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?