Skip to content
This repository was archived by the owner on Jun 16, 2026. It is now read-only.

Fix stale URL, pin CI deps, show protocol count on map#9

Merged
cmehat merged 1 commit into
mainfrom
feat/polish
Jun 9, 2026
Merged

Fix stale URL, pin CI deps, show protocol count on map#9
cmehat merged 1 commit into
mainfrom
feat/polish

Conversation

@cmehat

@cmehat cmehat commented Jun 9, 2026

Copy link
Copy Markdown
Contributor

Summary

  • README: Update naming convention URL from stale tezos.gitlab.io to octez.tezos.com (matches DEFAULT_NAMING_URL in the script)
  • CI deps: Add requirements.txt with compatible-range pins (>=min,<next-major) and use it in the workflow
  • Interactive map: Add a slim title bar showing the dynamic protocol count (e.g. "Tezos Protocol Cities — 21 protocols")

Test plan

  • pip install -r requirements.txt installs successfully
  • python3 scripts/update_gpx.py still runs (no script changes)
  • python3 scripts/generate_map.py still runs (no script changes)
  • Open docs/index.html locally — title bar shows count, map renders below it
  • README link points to octez.tezos.com

- Update README naming URL to octez.tezos.com (old gitlab.io is stale)
- Add requirements.txt with compatible-range pins, use it in CI workflow
- Add title bar to interactive map showing dynamic protocol count
Copilot AI review requested due to automatic review settings June 9, 2026 15:07
@cmehat
cmehat merged commit 65af6d4 into main Jun 9, 2026
1 check passed

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

This pull request updates project documentation and CI dependency management, and adds a small UI enhancement to the interactive map to display the current protocol count.

Changes:

  • Update README protocol naming convention link to octez.tezos.com.
  • Add requirements.txt and update the scheduled workflow to install dependencies from it.
  • Add a title bar to docs/index.html that displays the dynamic protocol count from protocols.json.

Reviewed changes

Copilot reviewed 3 out of 4 changed files in this pull request and generated 1 comment.

File Description
requirements.txt Introduces compatible-range dependency pins for scripts/CI.
README.md Fixes stale naming-convention URL.
docs/index.html Adds a title bar and dynamically renders the protocol count.
.github/workflows/update-gpx.yml Switches CI dependency install to pip install -r requirements.txt.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread docs/index.html
Comment on lines +58 to +59
document.getElementById("title").innerHTML =
"Tezos Protocol Cities" + "<span>\u2014 " + entries.length + " protocols</span>";
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants