Stian, et. al.,
The GitHub mirror was originally configured to be an automatic process. I
believe it was a Travis CI hook, but at any rate when changes were made to
the SF repository, the CI hook ran and pushed to GH.
AFAIK, the nightly releases were also automated, probably through the same
Well if you guys don't call it the big 1.0 then it would be good to see the
big 0.12.0 stable release finally out there. People are still downloading the
ancient 0.11.6 stable release due to them thinking the nightly releases are
scary mega unstable programs lol. However in their attempt to be
On Fri, 22 Apr 2022 13:54:05 +0930
"Michael T. Pope" wrote:
> I will try to do the review this evening.
How about that, we are in pretty good shape. I have looked through the
bugs back to 0.11.6, and found only one that I consider release blocking,
which is Marcin's REF immediate surrender
