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

WIP: Room / building synonyms integration (#21) #24

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Gustl22
Copy link

@Gustl22 Gustl22 commented Dec 19, 2019

See #21,
Features:

  • Synonyms for rooms
  • Synonyms for buildings
  • Display synonyms instead of address data (optional in settings)
  • Search also for rooms with synonyms in main search (optional in settings)

I know that users cannot tag their own buildings / rooms, but if wanted, the json can be extended via new issues or own PRs. Also the data has to be transfered to the web / ios version (via db).

Drawbacks:

  • Database has to be deleted, or a migration has to be performed.

Apparently not all the naming data is provided, so help from other students is appreciated.
Of course this is much in one PR, so can split them in separate commits / PRs.
Please give me feedback. Thx.

@Gustl22
Copy link
Author

Gustl22 commented Jan 10, 2020

@dmo60 @MaxMediaPictures any opinions on that?
Presumably in busy-mode 😜

@timoloewe
Copy link
Member

Hey @Gustl22! Thanks a lot for the contributions! Sorry for the late response. There is no development happening on the app since quite some time and I missed the PRs you created.

Please bare with me, I don't have a lot of capacity right now for this project. But as soon as I find some time in the upcoming weeks, I will checkout and review your changes. 👍 Feel free to remind me every now and then if I don't come back to you. Thank you for your patience!

@Gustl22
Copy link
Author

Gustl22 commented Mar 3, 2020

@dmo60 No hurry, only wanted to check your capacities. May only a quick review, if can further improve or should extend to collaborative system and give hints how to achieve that (like mentioned in #21 by @FloEdelmann)

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.

2 participants