ci: disabled workflow on main branch.

ci: golf time.

docker fly: updated .dockerignore.

redis: helper script in Python.