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

Move to tinted-terminal #28

Merged
merged 1 commit into from
Jan 10, 2025
Merged

Move to tinted-terminal #28

merged 1 commit into from
Jan 10, 2025

Conversation

JamyGolden
Copy link
Member

As discussed in tinted-theming/home#44 (comment), this PR adds a deprecation notice and links to tinted-terminal. @tinted-theming/putty-terminal should already have maintainer access for tinted-terminal. Once this is merged I'll archive this repo.

  • Add deprecation notice to README
  • Remove cron job

@JamyGolden JamyGolden requested review from a team and abravalheri and removed request for a team January 1, 2025 11:48
Copy link
Contributor

@abravalheri abravalheri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you very much @JamyGolden, please feel free to go ahead.

@JamyGolden JamyGolden merged commit c67eeeb into main Jan 10, 2025
@JamyGolden JamyGolden deleted the jamy/chore/tinted-terminal branch January 10, 2025 20:04
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.

2 participants