Skip to content

Bugfix/563 fix merge gate#819

Merged
ArBridgeman merged 6 commits intomainfrom
bugfix/563_fix_merge_gate
May 6, 2026
Merged

Bugfix/563 fix merge gate#819
ArBridgeman merged 6 commits intomainfrom
bugfix/563_fix_merge_gate

Conversation

@ArBridgeman
Copy link
Copy Markdown
Collaborator

@ArBridgeman ArBridgeman commented May 5, 2026

closes #563

Checklist

Note: If any of the items in the checklist are not relevant to your PR, just check the box.

For any Pull Request

Is the following correct:

  • the title of the Pull Request?
  • the title of the corresponding issue?
  • there are no other open Pull Requests for the same update/change?
  • that the issue which this Pull Request fixes ("Fixes...") is mentioned?

When Changes Were Made

Did you:

  • update the changelog?
  • update the cookiecutter-template?
  • update the implementation?
  • check coverage and add tests: unit tests and, if relevant, integration tests?
  • update the User Guide & other documentation?
  • resolve any failing CI criteria (incl. Sonar quality gate)?

When Preparing a Release

Have you:

  • thought about version number (major, minor, patch)?
  • checked Exasol packages for updates and resolved open vulnerabilities, if easily possible?

@ArBridgeman ArBridgeman temporarily deployed to manual-approval May 5, 2026 12:10 — with GitHub Actions Inactive
@ArBridgeman ArBridgeman marked this pull request as ready for review May 5, 2026 12:14
kratz00
kratz00 previously approved these changes May 5, 2026
Comment thread .github/workflows/merge-gate.yml Outdated
@ArBridgeman ArBridgeman force-pushed the bugfix/563_fix_merge_gate branch from 1cddd88 to c19b277 Compare May 6, 2026 06:57
@ArBridgeman ArBridgeman deployed to manual-approval May 6, 2026 06:58 — with GitHub Actions Active
@ArBridgeman ArBridgeman enabled auto-merge (squash) May 6, 2026 07:33
@ArBridgeman ArBridgeman merged commit c5e3691 into main May 6, 2026
39 checks passed
@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud Bot commented May 6, 2026

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.

Merge Gate not working

4 participants