Skip to content

Conversation

@f-hollow
Copy link
Collaborator

@f-hollow f-hollow commented Aug 5, 2025

This PR syncs the GitLab branch workshop-brazil to GitHub.

The changes have been reviewed internally.

Warning

If, for any reason, changes need be committed directly to the GitHub PR (bypassing GitLab), add the label `GitHub-Edit` in the GitLab MR. This will disable GitLab CI sync-merge to prevent overwriting changes on GitHub.

@f-hollow f-hollow added the GitLab-Sync-Merge Contribution reviewed and synced from the internal GitLab mirror label Aug 5, 2025
@FBEZ FBEZ merged commit def521b into main Aug 5, 2025
5 of 6 checks passed
@FBEZ FBEZ deleted the workshop-brazil branch August 5, 2025 08:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

GitLab-Sync-Merge Contribution reviewed and synced from the internal GitLab mirror

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants