@adders It's fixed. GitHub was the problem in the end. I've been poking at it on and off for about a week now! (The problem when you roll your own system of course, is that you are your own tech support!)
Replying to:

@adders It's fixed. GitHub was the problem in the end. I've been poking at it on and off for about a week now! (The problem when you roll your own system of course, is that you are your own tech support!)