Skip to content

chore: update registry version to 3 in Taskfile#778

Merged
sxd merged 3 commits intomainfrom
dev/777
Mar 11, 2026
Merged

chore: update registry version to 3 in Taskfile#778
sxd merged 3 commits intomainfrom
dev/777

Conversation

@gbartolini
Copy link
Contributor

Closes #777

@gbartolini gbartolini requested a review from a team as a code owner March 6, 2026 01:10
@dosubot dosubot bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Mar 6, 2026
@gbartolini gbartolini changed the title chore: update registry version to 3.0.0 in Taskfile chore: update registry version to 3 in Taskfile Mar 6, 2026
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Mar 11, 2026
gbartolini and others added 3 commits March 11, 2026 14:41
Closes #777

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
Signed-off-by: Jonathan Gonzalez V. <jonathan.gonzalez@enterprisedb.com>
@sxd sxd self-requested a review March 11, 2026 13:51
@sxd sxd merged commit acce35c into main Mar 11, 2026
8 of 9 checks passed
@sxd sxd deleted the dev/777 branch March 11, 2026 15:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

lgtm This PR has been approved by a maintainer size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update registry version to 3 in Taskfile

3 participants