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 areas to location #107

Merged
merged 1 commit into from
Apr 26, 2024
Merged

Add areas to location #107

merged 1 commit into from
Apr 26, 2024

Conversation

dbrgn
Copy link
Contributor

@dbrgn dbrgn commented Apr 11, 2024

This key can be used to specify a list of areas that make up your physical location. Each area has a required size (in square meters), and an optional name and description.

Replaces #71. (See discussion in that MR for context.)

@dbrgn dbrgn self-assigned this Apr 11, 2024
@dbrgn
Copy link
Contributor Author

dbrgn commented Apr 11, 2024

@SpaceApi/core if I understood you correctly during today's meeting, this was the proposal that we converged on. Do you agree with that?

(The old PR was still against schema v14-draft, btw 😂)

@dbrgn dbrgn requested a review from a team April 11, 2024 21:03
@dbrgn dbrgn mentioned this pull request Apr 11, 2024
@dbrgn dbrgn added this to the API v15 milestone Apr 11, 2024
Copy link
Member

@s3lph s3lph left a comment

Choose a reason for hiding this comment

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

LGTM 🚀

This key can be used to specify a list of areas that make up your
physical location. Each area has a required size (in square meters), and
an optional name and description.
Copy link
Member

@rnestler rnestler left a comment

Choose a reason for hiding this comment

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

LGTM as well.

CHANGELOG.md Show resolved Hide resolved
@rnestler
Copy link
Member

@dbrgn Whats holding the merge back?

@dbrgn
Copy link
Contributor Author

dbrgn commented Apr 26, 2024

@dbrgn Whats holding the merge back?

4 hours ago, it was the missing second review 😂 Once you added your review, you could have hit the "merge" button.

@dbrgn dbrgn merged commit f501edb into master Apr 26, 2024
8 checks passed
@dbrgn dbrgn deleted the areas branch April 26, 2024 13:52
@rnestler
Copy link
Member

4 hours ago, it was the missing second review 😂 Once you added your review, you could have hit the "merge" button.

Ah I think we agreed that 1 review is enough if the change comes from a core member anyways.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants