Skip to content

PR triage workflow: Fixup incorrect parameter name#930

Merged
mfisher87 merged 2 commits intogeojupyter:mainfrom
mfisher87:triage-action-update
Sep 16, 2025
Merged

PR triage workflow: Fixup incorrect parameter name#930
mfisher87 merged 2 commits intogeojupyter:mainfrom
mfisher87:triage-action-update

Conversation

@mfisher87
Copy link
Member

@mfisher87 mfisher87 commented Sep 16, 2025

Description

Fix incorrect parameter name

TODO: update action version after jupyter/pr-triage-board-bot#37 is fixed

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--930.org.readthedocs.build/en/930/
💡 JupyterLite preview: https://jupytergis--930.org.readthedocs.build/en/930/lite

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch mfisher87/jupytergis/triage-action-update

@mfisher87 mfisher87 added the maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc. label Sep 16, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Sep 16, 2025

Integration tests report: appsharing.space

@mfisher87
Copy link
Member Author

Maybe we don't need jupyter/pr-triage-board-bot#37? Perhaps jupyter/pr-triage-board-bot#38 fixes the problem? Let's find out!

@mfisher87 mfisher87 marked this pull request as ready for review September 16, 2025 04:51
@mfisher87
Copy link
Member Author

YOLO 🤪

@mfisher87 mfisher87 merged commit 5e581be into geojupyter:main Sep 16, 2025
7 of 10 checks passed
@mfisher87 mfisher87 deleted the triage-action-update branch September 16, 2025 04:52
@mfisher87 mfisher87 changed the title Triage workflow: Fixup incorrect parameter name PR triage workflow: Fixup incorrect parameter name Sep 16, 2025
HaudinFlorence pushed a commit to HaudinFlorence/jupytergis that referenced this pull request Jan 28, 2026
* Fixup incorrect parameter name

* Upgrade to fix issue with action checkout
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