Why mirror to Github if you can’t or won’t take pull requests or such on it? Is this just another place where someone can download the code? Additionally, it doesn’t feel clear that this is a mirror looking at the Github repo. Maybe the description should be expanded to explain it’s a mirror and is read-only.