Skip to content

Update snapshots bot checkout and permission check#20

Merged
brichet merged 1 commit intojupyterlab-contrib:mainfrom
martinRenou:bot_update
Jan 14, 2026
Merged

Update snapshots bot checkout and permission check#20
brichet merged 1 commit intojupyterlab-contrib:mainfrom
martinRenou:bot_update

Conversation

@martinRenou
Copy link
Member

@krassowski krassowski added the maintenance Code repository maintenance label Jan 14, 2026
Copy link
Collaborator

@brichet brichet left a comment

Choose a reason for hiding this comment

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

Thanks @martinRenou

@brichet brichet merged commit 542351b into jupyterlab-contrib:main Jan 14, 2026
6 of 7 checks passed
@martinRenou martinRenou deleted the bot_update branch January 15, 2026 08:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Code repository maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants