Skip to content

chore(data): coordinate edit for 5433.EG.003#3038

Merged
CommanderStorm merged 1 commit into
mainfrom
usergenerated/request-12772
Jun 2, 2026
Merged

chore(data): coordinate edit for 5433.EG.003#3038
CommanderStorm merged 1 commit into
mainfrom
usergenerated/request-12772

Conversation

@CommanderStorm

Copy link
Copy Markdown
Member

Batched Edits

Edit #1

The following coordinate edits were made:

  • 5433.EG.003:

    {
      "geometry": {
        "coordinates": [
          11.66553025176762,
          48.26783235053557
        ],
        "type": "Point"
      },
      "properties": {
        "id": "5433.EG.003",
        "kind": "coordinate-change",
        "to_lat": 48.26783235053557,
        "to_lon": 11.66553025176762
      },
      "type": "Feature"
    }
    
    Loading

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

This PR updates the project’s coordinate source data by adding a coordinate entry for the room 5433.EG.003, aligning data/sources/coordinates.csv with the coordinate update described in the PR metadata.

Changes:

  • Added a new id,lat,lon row for 5433.EG.003 with the updated coordinates.

@CommanderStorm
CommanderStorm merged commit 455b43e into main Jun 2, 2026
42 checks passed
@CommanderStorm
CommanderStorm deleted the usergenerated/request-12772 branch June 2, 2026 13:23
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