3 ms·

There’s no reason you couldn’t just leave it in your own branch of git and not merge it. It’s not that hard.