Redis · Git workflow

Generate a clear, concise GitHub PR title and description from the diff between two local git branches, and save it to prDescription.md in the repo root.

redis/jedis

Prepares a go-redis release locally: picks the next semver, gathers merged PRs, writes the RELEASE-NOTES entry and bumps versions, without publishing.

redis/go-redis

Create and name git branches following project conventions. An agent skill from redis/RedisInsight.

redis/RedisInsight

Critical safety guardrails for protected branches: never commit, push, or force-push directly to main, latest, or release branches; no destructive history rewrites without explicit user approval.

redis/RedisInsight