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

Add a redirection notice to the new repository #1659

Merged
merged 1 commit into from Mar 2, 2024
Merged

Conversation

mnvr
Copy link
Member

@mnvr mnvr commented Mar 2, 2024

@mnvr mnvr merged commit 0a4a0cf into main Mar 2, 2024
1 check was pending
@mnvr mnvr deleted the notify-about-new-location branch March 2, 2024 01:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant