Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Games: Remove discontinued zoc #738

Closed
wants to merge 1 commit into from
Closed

Games: Remove discontinued zoc #738

wants to merge 1 commit into from

Conversation

trivikr
Copy link
Contributor

@trivikr trivikr commented Oct 20, 2019

@luciusmagn
Copy link
Collaborator

Sorry, our current policy is not to remove projects unless they are outright broken or pronounced deprecated by another project by its author. Thank you for your effort though and I am looking forward for anything else you might bring forth.

@ozkriff don't be sad my dude :D

@luciusmagn luciusmagn closed this Jan 12, 2020
@trivikr
Copy link
Contributor Author

trivikr commented Jan 13, 2020

our current policy is not to remove projects unless they are outright broken or pronounced deprecated by another project by its author

@luciusmagn zoc is pronounced deprecated by it's author.
Deprecation info https://github.com/ozkriff/zoc#the-project-is-discontinued

@ozkriff
Copy link
Contributor

ozkriff commented Jan 13, 2020

"Discontinued", not deprecated. And I'm updating the game to keep it compiling on newer rust versions. Why do you want it to be removed?

@trivikr
Copy link
Contributor Author

trivikr commented Jan 13, 2020

Why do you want it to be removed?

I'd created this PR when I was going through the awesome-rust list back in October - nothing for/against any particular project.

The maintainers can choose to keep unbroken or discontinued but not deprecated projects in the awesome-rust list.

@trivikr trivikr deleted the patch-1 branch January 13, 2020 19:26
@kud1ing kud1ing mentioned this pull request Aug 11, 2021
edwardpower116 added a commit to edwardpower116/awesome-rust that referenced this pull request May 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants