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

Announce open registration #7

Merged
merged 2 commits into from
Jul 21, 2023
Merged

Announce open registration #7

merged 2 commits into from
Jul 21, 2023

Conversation

pmli
Copy link
Member

@pmli pmli commented Jul 19, 2023

No description provided.

Copy link
Member

@artpelling artpelling left a comment

Choose a reason for hiding this comment

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

Looks good. We could consider adding a googlemaps link https://goo.gl/maps/j7n4oHMEkSfu89wVA

@pmli
Copy link
Member Author

pmli commented Jul 20, 2023

Looks good. We could consider adding a googlemaps link https://goo.gl/maps/j7n4oHMEkSfu89wVA

Thanks, I can add that.

I was wondering about the address. Google Maps says it's Müller-Breslau-Straße 12, but the room website says it's Müller-Breslau-Straße 15. @artpelling Do you know which is correct?

@artpelling
Copy link
Member

Looks good. We could consider adding a googlemaps link https://goo.gl/maps/j7n4oHMEkSfu89wVA

Thanks, I can add that.

I was wondering about the address. Google Maps says it's Müller-Breslau-Straße 12, but the room website says it's Müller-Breslau-Straße 15. @artpelling Do you know which is correct?

Sorry i didn't see your question. I actually don't know that myself as I haven't been in the room yet. However, both adresses point to the same building, so people should find it either way. I suggest to merge it as it is. Once I can actually enter the room, I can prepare a detailed description of how to get to the room that we can send to the participants beforehand.

@pmli pmli merged commit ed697b3 into main Jul 21, 2023
2 checks passed
@pmli pmli deleted the announcement branch July 21, 2023 15:33
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.

4 participants