Nico Jensch
feat: add redis to devshell, fix comments
838d0fd unverified