if you intentionally avoid repeating numbers then you are weakening your PIN
a good chunk of random PINs will have repeating digits
a random number generator that never generates the same number multiple times in a row with a long enough sequence is a biased one