I hope I set up mirroring to GitHub correctly. It is a geeky feature, for sure, but I’m not 100% sure if I set it up correctly.