I hosted the TXR git on nongnu first, starting at around late 2009 or early 2010 maybe?

I abandoned that when I discovered there's no control. I seem to recall having to wait like over a week for someone to enable non-fast-forward pushes. Overly strict and understaffed. I opted for self hosting.

I kept the project web page there, though.