Personally I would not run any out building from the house RCD, I would want it on it’s own RCD even if it is in the house in the form of a RCBO, as don’t want to lose house power because of fault with outbuilding, if this can’t be done, then some double pole switch so both live supplies are switch...
