Jon Leech

@gpx1000 @martyj @TomAtkinsonArm trying to diagnose the publishing problem. First, there is an existing CI job jekyll-gh-pages.yml which already tries to publish there but fails. I do not know if...

> 100% agree, we should retire the current GitHub job in favor of this. @gpx1000 I was skimming over the recent minutes and noticed you commented "Waiting on Jon -...

@SaschaWillems @gpx1000 it would be great to progress this. It's difficult for me even to pull the entire Samples repo, much less successfully set it up for Antora. The former...

> Can we get this merged/fixed? CI on main has been failing for months because the CI deploy step fails. That's kinda sad as this build error is easily visible...

I'd also find this useful - just got bitten by accidentally having two attributes in different case which I expected to be different.