Comment by marvindanig

While this issue might appear small, even a "mistake", and would probably be resolved to OP's satisfaction (wishing them all the best!), it truly is time for entrepreneurs to flock together and start building alternatives to Github.