Pull docker images for CI from github mirror#3699

joshuacolvin0 wants to merge 1 commit intomasterOffchainLabs/nitro:masterfrom

redis-imageOffchainLabs/nitro:redis-imageCopy head branch name to clipboard