what is github used for reddit