I changed my symlinks to hardlinks and it seems to have worked. So that github thingy is up to date now. Hopefully it will be simple to keep it that way!