Please remember to CC the list on all replies. Huh, I’d forgotten about that repo. Not a good choice for PRs because I don’t get notifications about them, either by mail or on my dashboard. Better to use my repo. The structure is a bit weird because of the history of gtk-osx. When Richard Hult started it he created it separately from Gnome, and for a long time the Gnome folks were passively to aggressively hostile about building on anything other than Linux. That changed a few years ago when some of them discovered Macs, and I was invited to move the projects to Gnome and given push privs there. But git.gnome.org doesn’t have any way to handle PRs, so I kept my Github repos open and push everything to both Gnome and Github. The Gnome Github mirrors are just pushes from git.gnome.org, run by a commit hook. There’s a FAQ about them at https://wiki.gnome.org/Sysadmin/GitHub, the first of which says that PRs aren’t accepted. We’ll see if anyone notices yours and my comment on it. Regards, John Ralls |