Skip to content

BanditPAM v6.0.2 -- Fixing merged PRs - #281

Closed
motiwari wants to merge 11 commits into
mainfrom
dev/mo/fixing_merged_prs
Closed

BanditPAM v6.0.2 -- Fixing merged PRs#281
motiwari wants to merge 11 commits into
mainfrom
dev/mo/fixing_merged_prs

Conversation

@motiwari

@motiwari motiwari commented Aug 1, 2025

Copy link
Copy Markdown
Owner

Cleaning up some merged PRs, including style

@height

height Bot commented Aug 1, 2025

Copy link
Copy Markdown

Link Height tasks by mentioning a task ID in the pull request title or commit messages, or description and comments with the keyword link (e.g. "Link T-123").

💡Tip: You can also use "Close T-X" to automatically close a task when the pull request is merged.

@motiwari motiwari closed this Aug 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant