Skip to content

Support for revert pull request #3819

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Support for revert pull request #3819

wants to merge 1 commit into from

Conversation

takezoe
Copy link
Member

@takezoe takezoe commented Aug 11, 2025 •
edited
Loading

Closes #3309 and #419

Before submitting a pull-request to GitBucket I have first:

  • read the contribution guidelines
  • rebased my branch over master
  • verified that project is compiling
  • verified that tests are passing
  • squashed my commits as appropriate (keep several commits if it is relevant to understand the PR)
  • marked as closed using commit message all issue ID that this PR should correct

@takezoe takezoe force-pushed the revert_pull_request branch from 2fefea9 to 1dbb885 Compare August 11, 2025 17:24
@takezoe takezoe force-pushed the revert_pull_request branch from 1dbb885 to a791e93 Compare August 12, 2025 23:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Why not have revert committed ?
1 participant
@takezoe