Skip to content
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.

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

🤖 [MariaDB] && [MySQL] updates #337

Merged
merged 1 commit into from
Mar 9, 2024
Merged

🤖 [MariaDB] && [MySQL] updates #337

merged 1 commit into from
Mar 9, 2024

Conversation

sudo[bot]
Copy link

@sudo sudo bot commented Mar 9, 2024

Dear human 🌻🐓🦃🦎🦙🐂🐏🐐🐎🦉, after running my task the following files where updated:

  • data/variables/mariadb-replication-and-binary-log-status-variables.json 🐳
  • data/variables/mariadb-s3-storage-engine-system-variables.json 🐳
  • data/variables/mysql-aurora-aws-rds-aurora-mysql.json 🐬
  • dist/merged-raw.json 📦
  • dist/merged-raw.md 📦
  • dist/merged-slim.json 📦
  • dist/merged-ultraslim.json 📦
  • dist/merged-ultraslim.php 📦

@sudo sudo bot requested a review from williamdes as a code owner March 9, 2024 13:32
@sudo sudo bot assigned williamdes Mar 9, 2024
@williamdes williamdes added dataUpdate Is a data update merge-it Ask the bot to merge the pull-request labels Mar 9, 2024
@wdes-bot wdes-bot removed the merge-it Ask the bot to merge the pull-request label Mar 9, 2024
@wdes-bot wdes-bot merged commit 05c1792 into main Mar 9, 2024
34 of 36 checks passed
@wdes-bot wdes-bot deleted the update/1709991160700 branch March 9, 2024 14:50
@wdes-bot wdes-bot temporarily deployed to sudo-bot-workflows March 9, 2024 14:50 — with GitHub Actions Inactive
Repository owner locked as resolved and limited conversation to collaborators Mar 9, 2024
@williamdes williamdes added this to the v1.3.0 milestone Jul 8, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dataUpdate Is a data update
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants