Skip to content

Delete bulk request#133

Merged
hailihu merged 6 commits intomasterfrom
110-delete-bulk-request
Oct 22, 2025
Merged

Delete bulk request#133
hailihu merged 6 commits intomasterfrom
110-delete-bulk-request

Conversation

@hailihu
Copy link
Contributor

@hailihu hailihu commented Oct 21, 2025

Delete a specific bulk-request using request ID:

 ada/ada --delete-request <request-ID> ...  

Handy for example when you accidentally staged too many files.

@hailihu hailihu requested a review from onnozweers October 21, 2025 09:51
@hailihu hailihu linked an issue Oct 21, 2025 that may be closed by this pull request
@hailihu hailihu merged commit ad89e97 into master Oct 22, 2025
2 checks passed
@hailihu hailihu deleted the 110-delete-bulk-request branch December 17, 2025 08:11
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.

Add option to delete bulk stage request

1 participant