Skip to content

Update notebook.link lock with mambajs and document how to do it#1103

Merged
martinRenou merged 3 commits intogeojupyter:mainfrom
martinRenou:update_lock_mambajs
Feb 5, 2026
Merged

Update notebook.link lock with mambajs and document how to do it#1103
martinRenou merged 3 commits intogeojupyter:mainfrom
martinRenou:update_lock_mambajs

Conversation

@martinRenou
Copy link
Member

@martinRenou martinRenou commented Feb 5, 2026

Description

Checklist

  • PR has a descriptive title and content.
  • PR description contains references to any issues the PR resolves, e.g. Resolves #XXX.
  • PR has one of the labels: documentation, bug, enhancement, feature, maintenance
  • Checks are passing.
    Failing lint checks can be resolved with:
    • pre-commit run --all-files
    • jlpm run lint
  • If you wish to be cited for your contribution, CITATION.cff contains an author entry for yourself

📚 Documentation preview: https://jupytergis--1103.org.readthedocs.build/en/1103/
💡 JupyterLite preview: https://jupytergis--1103.org.readthedocs.build/en/1103/lite

@github-actions
Copy link
Contributor

github-actions bot commented Feb 5, 2026

Binder 👈 Launch a Binder on branch martinRenou/jupytergis/update_lock_mambajs

@martinRenou martinRenou added the maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc. label Feb 5, 2026
@github-actions
Copy link
Contributor

github-actions bot commented Feb 5, 2026

Integration tests report: appsharing.space

@martinRenou martinRenou merged commit 74574f1 into geojupyter:main Feb 5, 2026
15 checks passed
@martinRenou martinRenou deleted the update_lock_mambajs branch February 5, 2026 09:04
@martinRenou martinRenou changed the title Update notebook.link lock with mambajs Update notebook.link lock with mambajs and document how to do it Feb 5, 2026
gjmooney pushed a commit to gjmooney/jupytergis that referenced this pull request Feb 18, 2026
* Update lock with mambajs

* Add docs on how to do it

* Up
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant