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

Merge development branch #722

Merged
merged 16 commits into from
Aug 5, 2023
Merged

Merge development branch #722

merged 16 commits into from
Aug 5, 2023

Conversation

pomianowski
Copy link
Member

Pull request type

  • Update
  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes

@cla-bot
Copy link

cla-bot bot commented Aug 5, 2023

Thank you for your pull request and welcome to our community. We could not parse the GitHub identity of the following contributors: pomian, pomianowski.
This is most likely caused by a git client misconfiguration; please make sure to:

  1. check if your git client is configured with an email to sign commits git config --list | grep email
  2. If not, set it up using git config --global user.email [email protected]
  3. Make sure that the git commit email is configured in your GitHub account settings, see https://github.com/settings/emails

@github-actions github-actions bot added documentation Improvements or additions to documentation controls Changes to the appearance or logic of custom controls. github_actions Pull requests that update GitHub Actions code PR Pull request icons Fonts and icons updates labels Aug 5, 2023
@cla-bot
Copy link

cla-bot bot commented Aug 5, 2023

Thank you for your pull request and welcome to our community. We could not parse the GitHub identity of the following contributors: pomian, pomianowski.
This is most likely caused by a git client misconfiguration; please make sure to:

  1. check if your git client is configured with an email to sign commits git config --list | grep email
  2. If not, set it up using git config --global user.email [email protected]
  3. Make sure that the git commit email is configured in your GitHub account settings, see https://github.com/settings/emails

@pomianowski pomianowski merged commit 8699eee into main Aug 5, 2023
1 of 5 checks passed
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 4, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
controls Changes to the appearance or logic of custom controls. documentation Improvements or additions to documentation github_actions Pull requests that update GitHub Actions code icons Fonts and icons updates PR Pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant