Skip to content

Conversation

@alessfg
Copy link
Member

@alessfg alessfg commented Nov 28, 2024

Proposed changes

See title.

Checklist

Before creating a PR, run through this checklist and mark each as complete:

@alessfg alessfg self-assigned this Nov 28, 2024
@github-actions github-actions bot added the chore label Nov 28, 2024
@alessfg alessfg enabled auto-merge November 28, 2024 15:54
@alessfg alessfg disabled auto-merge November 28, 2024 15:54
@alessfg alessfg enabled auto-merge November 28, 2024 15:54
@alessfg alessfg added this pull request to the merge queue Nov 28, 2024
Merged via the queue into main with commit 2c27fc4 Nov 28, 2024
20 checks passed
@alessfg alessfg deleted the prepare-release branch November 28, 2024 17:26
alessfg added a commit that referenced this pull request Nov 29, 2024
alessfg added a commit that referenced this pull request Nov 29, 2024
alessfg added a commit that referenced this pull request Nov 30, 2024
alessfg added a commit that referenced this pull request Nov 30, 2024
alessfg added a commit that referenced this pull request Nov 30, 2024
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.

2 participants