Skip to content

dcc push will now rename the branch to <pr-number>#92

Merged
imaman merged 4 commits intomainfrom
prnum
Mar 29, 2026
Merged

dcc push will now rename the branch to <pr-number>#92
imaman merged 4 commits intomainfrom
prnum

Conversation

@imaman
Copy link
Copy Markdown
Owner

@imaman imaman commented Mar 29, 2026

No description provided.

@imaman imaman changed the title tbd dcc push will now rename the branch to <pr-number> Mar 29, 2026
@imaman imaman merged commit 5740c9d into main Mar 29, 2026
1 check passed
@imaman imaman deleted the prnum branch March 29, 2026 09:56
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