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

Add comment that we're archiving terminus #27

Merged
merged 1 commit into from
Feb 29, 2024

Conversation

arielshaqed
Copy link
Contributor

Once pulled, I will archive...

Once pulled, I will archive...
@arielshaqed arielshaqed added the merge-if-approved Reviewer: feel free to merge this on approval, if OK label Feb 28, 2024
@arielshaqed arielshaqed merged commit 18d7e3c into main Feb 29, 2024
1 check passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
merge-if-approved Reviewer: feel free to merge this on approval, if OK
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants