Skip to content

Bot: missing collaboration package#368

Merged
martinRenou merged 2 commits intogeojupyter:mainfrom
martinRenou:bot_python
Jan 20, 2025
Merged

Bot: missing collaboration package#368
martinRenou merged 2 commits intogeojupyter:mainfrom
martinRenou:bot_python

Conversation

@martinRenou
Copy link
Member

@martinRenou martinRenou commented Jan 20, 2025

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

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

@martinRenou martinRenou added the maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc. label Jan 20, 2025
@github-actions
Copy link
Contributor

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

@github-actions
Copy link
Contributor

Integration tests report: appsharing.space

@martinRenou martinRenou enabled auto-merge (squash) January 20, 2025 15:25
@martinRenou martinRenou disabled auto-merge January 20, 2025 15:25
@martinRenou martinRenou merged commit 805a13c into geojupyter:main Jan 20, 2025
17 checks passed
@martinRenou martinRenou deleted the bot_python branch January 20, 2025 15:25
HaudinFlorence pushed a commit to HaudinFlorence/jupytergis that referenced this pull request Jan 28, 2026
* Bot: Update Python

* Bot: Missing collaboration package
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