Proposal: deterministic random_split

Hello, I’m trying to contribute to the pytorch package to make deterministic splits easier with this function:

What do you think about it? Do you think it would be useful? Thanks.

I got no update on the issue (and tried to register to slack - no update either), should I make a PR or just wait?