Even better when someone makes the exact same PR and it gets merged a few days after being opened and yours left unreviewed.
Even better when someone makes the exact same PR and it gets merged a few days after being opened and yours left unreviewed.