chore: backmerge main → develop antes da release v0.6.0 #135
Loading…
Reference in a new issue
No description provided.
Delete branch "chore/backmerge-main-v0.6.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
A main tem 5 commits de merge (releases v0.2.1 a v0.5.0) sem conteúdo próprio:
git diff origin/develop...origin/mainvazio, e a árvore deste PR é idêntica à da develop. Sem o backmerge, o pr.py marca o release #133 como 'head atrás da main'. Necessário para levar o pin novo do Trivy (#134, INFRA-68880) à main.🤖 Generated with Claude Code