Comment by butterandguns

When I left GitHub in 2022 it was still heavily used for so many things. Unsure if it's still in use there today but it wouldn't surprise me.