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

Add plugin: Find Planet By Name #164

Conversation

davidryan59
Copy link
Contributor

Hi @jacobrosenthal, I have written a new plugin, hopefully in time for Round 4.

Sometimes I remember a planet name, and want to find it again because there is something interesting about that planet. But I can't, there are too many planets.

This plugin displays a list of planets matching a search term on the planet name.

Copy link

@Velorum6 Velorum6 left a comment

Choose a reason for hiding this comment

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

Tested, It works correctly, I know a buddy at discord that will like this plugin.

Also it will be useful if someone want to chose a name for the next round to use this plugin for that 👀

@jacobrosenthal
Copy link
Contributor

::First plugin badge:: Thanks!

@jacobrosenthal jacobrosenthal merged commit f285348 into darkforest-eth:master Sep 30, 2021
@davidryan59 davidryan59 deleted the new-plugin-find-planet-by-name branch October 1, 2021 03:27
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.

3 participants