A pre-filled GitHub issue form is open in a new tab. Click "Submit new issue" there to finish — a
GitHub account is required.
After you submit, a bot takes ~1–2 minutes to run, open a pull request, and comment the PR link
back on the issue. You can watch progress on the
Actions tab.
Your edits are still saved in this browser, so you won't lose them if something goes sideways. After the
maintainer merges the PR, the pins will appear on the public map and your local "new" badges will clear automatically.