Skip to content
This repository was archived by the owner on Nov 26, 2020. It is now read-only.

Conversation

@kl0tl
Copy link

@kl0tl kl0tl commented Nov 24, 2020

We should then archive this repository and move it to https://github.com/purescript-deprecated but I’m not a member of this org so I don’t think I can do that myself.

@thomashoneyman
Copy link
Contributor

I can take care of this, because we also ought to add the deprecated keyword to the bower file and upload the deprecation notice to Pursuit. That keyword puts a “deprecated” badge up in the generated docs. That aside, looks like you’re in the organization now!

@thomashoneyman
Copy link
Contributor

#10 adds the deprecation notice and keywords to the Bower file. We'll need to make a release with that Bower file, upload to Pursuit, and only then remove everything except for the README and archive the repository.

@kl0tl
Copy link
Author

kl0tl commented Nov 25, 2020

Thanks @garyb for the invitation to the org and thank you for explaining our deprecation process and taking care of this 🙇

I’ll open another pull request to remove everything but the README later if this helps.

@kl0tl kl0tl closed this Nov 25, 2020
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