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

Stable #2272

Merged
merged 10 commits into from
Apr 20, 2023
Merged

Stable #2272

merged 10 commits into from
Apr 20, 2023

Conversation

juanignacioronca
Copy link

Background

Changes

Documentation

Test Plan

PR Quality Checklist

  • [ x] My pull request is atomic and focuses on a single change.
  • [ x] I have thoroughly tested my changes with multiple different prompts.
  • [ x] I have considered potential risks and mitigations for my changes.
  • [ x] I have documented my changes clearly and comprehensively.
  • [ x] I have not snuck in any "extra" small tweaks changes

p-i- and others added 5 commits April 13, 2023 00:10
Pull Latest (Batch 3 PRs) from master into stable
Merge into Stable for PR batch 4 v0.1.3
Pulling into stable for version 0.2.0
Mikael-Lelouch
Mikael-Lelouch previously approved these changes Apr 18, 2023
@nponeccop
Copy link
Contributor

What is this?

@github-actions github-actions bot added the conflicts Automatically applied to PRs with merge conflicts label Apr 20, 2023
@github-actions
Copy link
Contributor

This pull request has conflicts with the base branch, please resolve those so we can evaluate the pull request.

@github-actions github-actions bot added size/m and removed size/xs labels Apr 20, 2023
@github-actions github-actions bot added size/xs and removed size/m labels Apr 20, 2023
@github-actions github-actions bot removed the conflicts Automatically applied to PRs with merge conflicts label Apr 20, 2023
@github-actions
Copy link
Contributor

Conflicts have been resolved! 🎉 A maintainer will review the pull request shortly.

@richbeales richbeales merged commit 99eac6c into master Apr 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants