Washington DC actually does use Github as the source for the city's legal code (and not just as a copy). I remember seeing this article on HN a while back: https://arstechnica.com/tech-policy/2018/11/how-i-changed-th...