Degenerations of twisted maps to algebraic stacks

We give a definition of twisted map to a quotient stack with projective good moduli space, and we show that the resulting functor satisfies the existence part of the valuative criterion for properness.