Labels
Labels
changes requested
Changes requested by reviewers must be addressed before the pull request can be merged.CI failure
documentation
feature-request
github_actions
merge conflict / merge with main
There is a merge conflict that has to be resolved, or the PR needs changes on main to pass CIneeds maintainer input
needs triage
needs variegata build / deploy
Extensions where a build for 1.5.6 was requested; this must be done manuallynew extension
re-run later
ready for review
reproduced
stale
under review
unrelated CI failure
CI failure appears unrelated and might be solved by re-running CI after fixing elsewherev1.5-variegata
version bump