Skip to content
This repository has been archived by the owner on Jan 15, 2025. It is now read-only.

Add a note that the repo is deprecated #60

Merged
merged 1 commit into from
Jan 15, 2025
Merged

Add a note that the repo is deprecated #60

merged 1 commit into from
Jan 15, 2025

Conversation

jazz-cb
Copy link
Contributor

@jazz-cb jazz-cb commented Jan 15, 2025

What changed? Why?

Qualified Impact

@jazz-cb jazz-cb merged commit 5d686bb into master Jan 15, 2025
7 checks passed
@jazz-cb jazz-cb deleted the jj/dep branch January 15, 2025 21:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants