Skip to content

Conversation

kit-ty-kate
Copy link
Member

@kit-ty-kate kit-ty-kate commented Aug 13, 2024

Split off from #6132

@kit-ty-kate kit-ty-kate added the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Aug 13, 2024
@kit-ty-kate kit-ty-kate added this to the 2.3.0~alpha milestone Aug 13, 2024
Copy link
Collaborator

@rjbou rjbou left a comment

Choose a reason for hiding this comment

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

Thanks!

@rjbou rjbou force-pushed the git-check-submodule-status branch from 6355212 to 5dcbf48 Compare August 26, 2024 14:41
@rjbou rjbou removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Aug 26, 2024
@rjbou rjbou added the PR: WIP Not for merge at this stage label Mar 27, 2025
@kit-ty-kate kit-ty-kate modified the milestones: 2.4.0~alpha1, 2.5.0~alpha1 Apr 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: NEEDS UPDATE PR: WIP Not for merge at this stage
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants